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

Felipe Pontes Guimarães; Genaina Nunes Rodrigues; Raian Ali; Daniel Macedo Batista
34th International Conference on Conceptual Modeling
View details:  

Abstract

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 context-dependent. Thus, we introduce the notion of Pragmatic Goals which have a dynamic satisfaction criteria. However, the specification of context-dependent 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.

BibTex references

@inbook{PontesGuimaraes2015,
	Address = {Cham},
	Author = {Pontes Guimaraes, Felipe and Nunes Rodrigues, Genaina and Macedo Batista, Daniel and Ali, Raian},
	Booktitle = {Conceptual Modeling: 34th International Conference, ER 2015, Stockholm, Sweden, October 19-22, 2015, Proceedings},
	Doi = {10.1007/978-3-319-25264-3_4},
	Editor = {Johannesson, Paul and Lee, Li Mong and Liddle, W. Stephen and Opdahl, L. Andreas and Pastor L{\'o}pez, {\'O}scar},
	Isbn = {978-3-319-25264-3},
	Pages = {50--64},
	Publisher = {Springer International Publishing},
	Title = {Pragmatic Requirements for Adaptive Systems: A Goal-Driven Modeling and Analysis Approach},
	Url = {http://dx.doi.org/10.1007/978-3-319-25264-3_4},
	Year = {2015}}

Other publications in the database