Pragmatic Requirements for Adaptive Systems: A Goal-Driven Modeling and Analysis Approach

Authors: Guimaraes, F.P., Rodrigues, G.N., Batista, D.M. and Ali, R.

http://eprints.bournemouth.ac.uk/22519/

Start date: 19 October 2015

This data was imported from Scopus:

Authors: Guimaraes, F.P., Rodrigues, G.N., Batista, D.M. and Ali, R.

http://eprints.bournemouth.ac.uk/22519/

Journal: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volume: 9381

Pages: 50-64

eISSN: 1611-3349

ISBN: 9783319252636

ISSN: 0302-9743

DOI: 10.1007/978-3-319-25264-3_4

© Springer International Publishing Switzerland 2015. Goal-models (GM) have been used in adaptive systems engineering for their ability to capture the different ways to fulfill the requirements. Contextual GM (CGM) extend these models with the notion of context and context-dependent applicability of goals. In this paper, we observe that the interpretation of a goal achievement is itself contextdependent. Thus, we introduce the notion of Pragmatic Goals which have a dynamic satisfaction criteria. However, the specification of contextdependent goals’ applicability as well as their interpretations make it hard for stakeholders to decide whether the model is achievable for all possible context combinations. Thus we also developed and evaluated an algorithm to decide on the Pragmatic CGM’s achievability.We performed several experiments to evaluate our algorithm regarding correctness and performance and concluded that it can be used for deciding at runtime the tasks to execute under a given context to achieve a quality constraint as well as for pinpointing context sets in which the model is intrinsically unachievable.

This source preferred by Raian Ali

This data was imported from Web of Science (Lite):

Authors: Guimaraes, F.P., Rodrigues, G.N., Batista, D.M. and Ali, R.

http://eprints.bournemouth.ac.uk/22519/

Journal: CONCEPTUAL MODELING, ER 2015

Volume: 9381

Pages: 50-64

ISBN: 978-3-319-25263-6

ISSN: 0302-9743

DOI: 10.1007/978-3-319-25264-3_4

The data on this page was last updated at 04:46 on November 24, 2017.