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 Citation (Scopus)

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
StatePublished - 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

Software engineering
Chemical analysis

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).
Kassab, Mohamad Hassan ; Constantinides, Constantinos ; Ormandjieva, Olga. / Specifying and separating concerns from requirements to design : A case study. Proceedings of the Second IASTED International Multi-Conference on Automation, Control, and Information Technology, ACIT 2005. editor / M.H. Hamza. 2005. pp. 18-27 (Proceedings of the Second IASTED International Multi-Conference on Automation, Control, and Information Technology, ACIT 2005).
@inproceedings{5efffb73a0594070892a630bb505e47c,
title = "Specifying and separating concerns from requirements to design: A case study",
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.",
author = "Kassab, {Mohamad Hassan} and Constantinos Constantinides and Olga Ormandjieva",
year = "2005",
month = "12",
day = "1",
language = "English (US)",
isbn = "0889864756",
series = "Proceedings of the Second IASTED International Multi-Conference on Automation, Control, and Information Technology, ACIT 2005",
pages = "18--27",
editor = "M.H. Hamza",
booktitle = "Proceedings of the Second IASTED International Multi-Conference on Automation, Control, and Information Technology, ACIT 2005",

}

Kassab, MH, Constantinides, C & Ormandjieva, O 2005, Specifying and separating concerns from requirements to design: A case study. in MH Hamza (ed.), Proceedings of the Second IASTED International Multi-Conference on Automation, Control, and Information Technology, ACIT 2005. Proceedings of the Second IASTED International Multi-Conference on Automation, Control, and Information Technology, ACIT 2005, pp. 18-27, Second IASTED International Multi-Conference on Automation, Control, and Information Technology, ACIT 2005, Novosibirsk, Russian Federation, 6/20/05.

Specifying and separating concerns from requirements to design : A case study. / Kassab, Mohamad Hassan; Constantinides, Constantinos; Ormandjieva, Olga.

Proceedings of the Second IASTED International Multi-Conference on Automation, Control, and Information Technology, ACIT 2005. ed. / M.H. Hamza. 2005. p. 18-27 (Proceedings of the Second IASTED International Multi-Conference on Automation, Control, and Information Technology, ACIT 2005).

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

TY - GEN

T1 - Specifying and separating concerns from requirements to design

T2 - A case study

AU - Kassab, Mohamad Hassan

AU - Constantinides, Constantinos

AU - Ormandjieva, Olga

PY - 2005/12/1

Y1 - 2005/12/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=33244465564&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=33244465564&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:33244465564

SN - 0889864756

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

SP - 18

EP - 27

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

A2 - Hamza, M.H.

ER -

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