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.

REFERENCES

• 1: K. Altisen, F. Maraninchi, and D. Stauch. Exploring aspects in the context of reactive systems. In Proceedings of FOAL '04 Workshop on Foundations of Aspect-Oriented Languages, pages 45--51, Lancaster, UK, Mar. 2004.
• 2: Elisa Baniassad , Siobhan Clarke, Theme: An Approach for Aspect-Oriented Analysis and Design, Proceedings of the 26th International Conference on Software Engineering, p.158-167, May 23-28, 2004
• 3: Jeroen van de. Lagemaat , Jeroen Van De Lagemaat , Tommaso Bolognesi , Chris Vissers, LOTOSphere: Software Development with Lotos, Kluwer Academic Publishers, Norwell, MA, 1995
• 4: M. Katara, R. Kurki-Suonio, and T. Mikkonen. On the horizontal dimension of software architecture in formal specifications of reactive systems. In Proceedings of FOAL'04 Workshop on Foundations of Aspect-Oriented Languages, pages 37--43, Lancaster, UK, Mar. 2004.
• 5: M. López-Nores, J. J. Pazos-Arias, J. García-Duque, and B. Barragáns-Martínez. Tracing integration analysis in component-based formal specifications. In Proceedings of FMOODS'05 Conference on Formal Methods for Open Object-based Distributed Systems, Athens, Greece, June 2005. To appear.
• 6: Bashar Nuseibeh, Crosscutting requirements, Proceedings of the 3rd international conference on Aspect-oriented software development, p.3-4, March 22-24, 2004, Lancaster, UK [doi>10.1145/976270.976272]
• 7: J. Pazos-Arias and J. García-Duque. SCTL-MUS: A formal methodology for software development of distributed systems. A case study. Formal Aspects of Computing, 13:50--91, 2001.
• 8: Awais Rashid , Ana Moreira , Joāo Araújo, Modularisation and composition of aspectual requirements, Proceedings of the 2nd international conference on Aspect-oriented software development, p.11-20, March 17-21, 2003, Boston, Massachusetts [doi>10.1145/643603.643605]
• 9: L. Rosenhainer. Identifying crosscutting concerns in requirements specifications. In Proceedings of Workshop on Early Aspects, in conjunction with OOPSLA'04, pages 49--58, Vancouver, Canada, Oct. 2004.

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.1 Requirements/Specifications
          Subjects: Methodologies (e.g., object-oriented, structured)

Keywords:
aspects, crosscutting concerns, incremental development, requirements, state machines