12,000

We have over 12,000 students, from over 100 countries, within one of the safest campuses in the UK

93%

93% of Lancaster students go into work or further study within six months of graduating

Home > Research > Publications & Outputs > A Goal-Based Modeling Approach to Develop Requi...
View graph of relations

« Back

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

Research output: Contribution in Book/Report/ProceedingsPaper

Published

Publication date10/2009
Host publicationProceedings of the 12th International Conference on Model Driven Engineering Languages and Systems (MODELS '09)
EditorsAndy Schürr , Bran Selic
Place of publicationBerlin
PublisherSpringer
Pages468-483
Number of pages16
ISBN (Print)978-3-642-04424-3
Original languageEnglish

Conference

ConferenceACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2009)
CityDenver, Co, USA
Period4/10/099/10/09

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume5795
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

ConferenceACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2009)
CityDenver, Co, USA
Period4/10/099/10/09

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 speci- cation language can be used to specify more exible requirements within a goal model to handle the uncertainty.