Locating crosscutting concerns in the formal specification of distributed reactive systems

Abstract:

Requirements specification is a stage of software development in which the different concerns involved with a system are especially present. Commonly, the specification is conceived as an incremental process, in which the developers progressively add requirements until reaching a description of the system that satisfies their needs and expectations. In this paper, we introduce a semi-Automated approach to locate crosscutting concerns at intermediate stages of such an incremental process. The aim is to help the developers go on with the specification tasks by focusing effectively their reasoning, avoiding phenomena of tangling and scattering.

Año de publicación:

2005

Keywords:

• requirements
• incremental development
• Aspects
• Crosscutting concerns
• State machines

Fuente:

scopus