A goal-based modeling approach to develop requirements of an adaptive system with environmental uncertainty

B. H. C. Cheng, Peter Sawyer, Nelly Bencomo, Jon Whittle

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

Abstract

Dynamically adaptive systems (DASs) are intended to monitor the execution environment and then dynamically adapt their behavior in response to changing environmental conditions. The uncertainty of the execution environment is a major motivation for dynamic adaptation; it is impossible to know at development time all of the possible combinations of environmental conditions that will be encountered. To date, the work performed in requirements engineering for a DAS includes requirements monitoring and reasoning about the correctness of adaptations, where the DAS requirements are assumed to exist. This paper introduces a goal-based modeling approach to develop the requirements for a DAS, while explicitly factoring uncertainty into the process and resulting requirements. We introduce a variation of threat modeling to identify sources of uncertainty and demonstrate how the RELAX specification language can be used to specify more flexible requirements within a goal model to handle the uncertainty.
Original languageEnglish
Title of host publicationModel driven engineering languages and systems
Subtitle of host publication12th international conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009 : proceedings
EditorsAndy Schürr, Bran Selic
Place of PublicationBerlin (DE)
PublisherSpringer
Pages468-483
Number of pages16
ISBN (Electronic)978-3-642-04425-0
ISBN (Print)978-3-642-04424-3
DOIs
Publication statusPublished - Oct 2009
EventACM/IEEE 12th international conference on model driven engineering languages and systems - Denver, CO, United States
Duration: 4 Oct 20099 Oct 2009

Publication series

NameLecture notes in computer science
PublisherSpringer
Number5795
ISSN (Print)0302-9743

Conference

ConferenceACM/IEEE 12th international conference on model driven engineering languages and systems
Abbreviated titleMoDELS 2009
CountryUnited States
CityDenver, CO
Period4/10/099/10/09

Keywords

  • requirements engineering
  • goal models
  • uncertainty
  • dynamically adaptive systems

Fingerprint Dive into the research topics of 'A goal-based modeling approach to develop requirements of an adaptive system with environmental uncertainty'. Together they form a unique fingerprint.

  • Research Output

    • 1 Conference contribution

    4th international workshop on Models@run.time

    Bencomo, N., Blair, G., France, R., Muñoz, F. & Jeanneret, C., 2010, Models in software engineering : workshops and symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, reports and revised selected papers. Ghosh, S. (ed.). Berlin (DE): Springer, p. 119-123 5 p. (Lecture notes in computer science; no. 6002).

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

  • Cite this

    Cheng, B. H. C., Sawyer, P., Bencomo, N., & Whittle, J. (2009). A goal-based modeling approach to develop requirements of an adaptive system with environmental uncertainty. In A. Schürr, & B. Selic (Eds.), Model driven engineering languages and systems: 12th international conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009 : proceedings (pp. 468-483). (Lecture notes in computer science; No. 5795). Springer. https://doi.org/10.1007/978-3-642-04425-0_36