Specifying and separating concerns from requirements to design: A case study

Mohamad Hassan Kassab, Constantinos Constantinides, Olga Ormandjieva

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations

Abstract

Oriented Software Development (AOSD) aims at providing a systematic support for the identification, separation, representation (through proper modeling and documentation), and composition of crosscutting concerns as well as mechanisms that can make them traceable throughout software development. In this paper, we discuss a sequence of systematic activities towards an early consideration of specifying and separating crosscutting functional requirements (FRs) and nonfunctional requirements (NFRs). This approach would make it possible to identify and resolve conflicts between NFRs earlier in the development cycle and can promote traceability of broadly scoped requirements throughout system development, maintenance and evolution. We provide a formalism for FRs by specifying their pre- and postconditions using first-order predicate logic. Measures of conflictiveness and interdependency are proposed to assess the effort required for the composition of the requirements. A new measure of cohesiveness of the use-case model is proposed based on the crosscutting modeling approach.

Original languageEnglish (US)
Title of host publicationProceedings of the Second IASTED International Multi-Conference on Automation, Control, and Information Technology, ACIT 2005
EditorsM.H. Hamza
Pages18-27
Number of pages10
Publication statusPublished - Dec 1 2005
EventSecond IASTED International Multi-Conference on Automation, Control, and Information Technology, ACIT 2005 - Novosibirsk, Russian Federation
Duration: Jun 20 2005Jun 24 2005

Publication series

NameProceedings of the Second IASTED International Multi-Conference on Automation, Control, and Information Technology, ACIT 2005

Other

OtherSecond IASTED International Multi-Conference on Automation, Control, and Information Technology, ACIT 2005
CountryRussian Federation
CityNovosibirsk
Period6/20/056/24/05

    Fingerprint

All Science Journal Classification (ASJC) codes

  • Engineering(all)

Cite this

Kassab, M. H., Constantinides, C., & Ormandjieva, O. (2005). Specifying and separating concerns from requirements to design: A case study. In M. H. Hamza (Ed.), Proceedings of the Second IASTED International Multi-Conference on Automation, Control, and Information Technology, ACIT 2005 (pp. 18-27). (Proceedings of the Second IASTED International Multi-Conference on Automation, Control, and Information Technology, ACIT 2005).