A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty

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.

DOI: 10.1007/978-3-642-04425-0_36

Extracted Key Phrases

5 Figures and Tables

0204060200920102011201220132014201520162017
Citations per Year

277 Citations

Semantic Scholar estimates that this publication has 277 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@inproceedings{Cheng2009AGM, title={A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty}, author={Betty H. C. Cheng and Peter Sawyer and Nelly Bencomo and Jon Whittle}, booktitle={MoDELS}, year={2009} }