Guimaraes, F.P., Rodrigues, G.N., Batista, D.M. and Ali, R., 2015. Pragmatic Requirements for Adaptive Systems: a Goal-Driven Modeling and Analysis Approach. In: The 34th International Conference on Conceptual Modeling (ER'15), 19--22 October 2015, Stockholm, Sweden..
Full text available as:
|
PDF
Felipe_Pontes_Guimaraes_ER2015_Pragmatic_Requirements_for_Adaptive_Systems_A_Goal_Driven_Modelling_and_Analysis_Approach[1].pdf - Accepted Version 895kB | |
Copyright to original material in this document is with the original owner(s). Access to this content through BURO is granted on condition that you use it only for research, scholarly or other non-commercial purposes. If you wish to use it for any other purposes, you must contact BU via BURO@bournemouth.ac.uk. Any third party copyright material in this document remains the property of its respective owner(s). BU grants no licence for further use of that third party material. |
Abstract
Goal-models (GM) have been used in adaptive systems engineering for their ability to capture the different ways to fulfill the requirements. Contex- tual 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 context-dependent. Thus, we introduce the no- tion of Pragmatic Goals which have a dynamic satisfaction criteria. However, the specification of context-dependent goals’ applicability as well as their interpre- tations 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.
Item Type: | Conference or Workshop Item (Paper) |
---|---|
Uncontrolled Keywords: | Context dependency, Goal-models, Requirements Engineering |
Group: | Faculty of Science & Technology |
ID Code: | 22519 |
Deposited By: | Symplectic RT2 |
Deposited On: | 28 Sep 2015 15:07 |
Last Modified: | 14 Mar 2022 13:53 |
Downloads
Downloads per month over past year
Repository Staff Only - |