Locating crosscutting concerns in the formal specification of distributed reactive systems

Authors:
José J. Pazos-Arias;Jorge García-Duque;Martín López-Nores
Affiliations:
University of Vigo, Spain;University of Vigo, Spain;University of Vigo, Spain
Venue:
MACS '05 Proceedings of the 2005 workshop on Modeling and analysis of concerns in software
Year:
2005

Citing 5
Cited 0

LOTOSphere: Software Development with Lotos

LOTOSphere: Software Development with Lotos
Modularisation and composition of aspectual requirements

Proceedings of the 2nd international conference on Aspect-oriented software development
Crosscutting requirements

Proceedings of the 3rd international conference on Aspect-oriented software development
Theme: An Approach for Aspect-Oriented Analysis and Design

Proceedings of the 26th International Conference on Software Engineering
Tracing integration analysis in component-based formal specifications

FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems

Quantified Score

Hi-index	0.00

Visualization

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.