Behavioral model composition: A non functional requirements driven approach

Rabeb Mizouni, Aziz Salah

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

Complete and precise software requirements description is critical in successful development of software systems. This description specifies both functional requirements that define the different functionalities the system should perform, and non-functional requirements that define how the system should perform these functional requirements. Valuable software should meet both its functional (FRs) and non-functional requirements (NFRs). In this paper, we show the possibility of associating NFRs to behavioral models. We propose a framework where NFRs are defined as a set of non functional attribute goals which derive the composition of behavioral models towards the construction of a behavioral model of the overall system.

Original languageBritish English
Title of host publicationProceedings of 8th International Conference on New Trends in Software Methodologies, Tools and Techniques, SoMeT_09
StatePublished - 2009
Event8th International Conference on New Trends in Software Methodologies, Tools and Techniques, SoMeT_09 - Prague, Czech Republic
Duration: 23 Sep 200925 Sep 2009

Publication series

NameProceedings of 8th International Conference on New Trends in Software Methodologies, Tools and Techniques, SoMeT_09

Conference

Conference8th International Conference on New Trends in Software Methodologies, Tools and Techniques, SoMeT_09
Country/TerritoryCzech Republic
CityPrague
Period23/09/0925/09/09

Keywords

  • Behavioral model
  • Formal composition
  • NFRs

Fingerprint

Dive into the research topics of 'Behavioral model composition: A non functional requirements driven approach'. Together they form a unique fingerprint.

Cite this