Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
}
TY - GEN
T1 - A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty
AU - Cheng, B. H. C.
AU - Sawyer, Peter
AU - Bencomo, Nelly
AU - Whittle, Jon
PY - 2009/10
Y1 - 2009/10
N2 - 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 speci- cation language can be used to specify more exible requirements within a goal model to handle the uncertainty.
AB - 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 speci- cation language can be used to specify more exible requirements within a goal model to handle the uncertainty.
UR - http://www.scopus.com/inward/record.url?scp=77249105104&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-04425-0_36
DO - 10.1007/978-3-642-04425-0_36
M3 - Conference contribution/Paper
SN - 978-3-642-04424-3
T3 - Lecture Notes in Computer Science
SP - 468
EP - 483
BT - Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems (MODELS '09)
A2 - Schürr , Andy
A2 - Selic, Bran
PB - Springer
CY - Berlin
T2 - ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2009)
Y2 - 4 October 2009 through 9 October 2009
ER -