Pragmatic requirements for adaptive systems: A goal-driven modeling and analysis approach

Felipe Pontes Guimaraes; Genaina Nunes Rodrigues; Daniel Macedo Batista; Raian Ali

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

Pragmatic requirements for adaptive systems: A goal-driven modeling and analysis approach

Felipe Pontes Guimaraes^*, Genaina Nunes Rodrigues, Daniel Macedo Batista, Raian Ali

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

6 Citations (Scopus)

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 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.

Original language	English
Title of host publication	Conceptual Modeling - 34th International Conference, ER 2015
Editors	Óscar Pastor López, Mong Li Lee, Stephen W. Liddle, Paul Johannesson, Andreas L. Opdahl
Publisher	Springer Verlag
Pages	50-64
Number of pages	15
ISBN (Print)	9783319252636
DOIs	https://doi.org/10.1007/978-3-319-25264-3_4
Publication status	Published - 2015
Externally published	Yes
Event	34th International Conference on Conceptual Modeling, ER 2015 - Stockholm, Sweden Duration: 19 Oct 2015 → 22 Oct 2015

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	9381
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	34th International Conference on Conceptual Modeling, ER 2015
Country/Territory	Sweden
City	Stockholm
Period	19/10/15 → 22/10/15

Keywords

Context dependency
Goal-models
Requirements engineering

Access to Document

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

Cite this

Guimaraes, F. P., Rodrigues, G. N., Batista, D. M., & Ali, R. (2015). Pragmatic requirements for adaptive systems: A goal-driven modeling and analysis approach. In Ó. P. López, M. L. Lee, S. W. Liddle, P. Johannesson, & A. L. Opdahl (Eds.), Conceptual Modeling - 34th International Conference, ER 2015 (pp. 50-64). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9381). Springer Verlag. https://doi.org/10.1007/978-3-319-25264-3_4

Guimaraes, Felipe Pontes ; Rodrigues, Genaina Nunes ; Batista, Daniel Macedo et al. / Pragmatic requirements for adaptive systems : A goal-driven modeling and analysis approach. Conceptual Modeling - 34th International Conference, ER 2015. editor / Óscar Pastor López ; Mong Li Lee ; Stephen W. Liddle ; Paul Johannesson ; Andreas L. Opdahl. Springer Verlag, 2015. pp. 50-64 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{ae0f4fb000df4bf48bf7f11c30c68c62,

title = "Pragmatic requirements for adaptive systems: A goal-driven modeling and analysis approach",

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 contextdependent. Thus, we introduce the notion of Pragmatic Goals which have a dynamic satisfaction criteria. However, the specification of contextdependent goals{\textquoteright} 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{\textquoteright}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.",

keywords = "Context dependency, Goal-models, Requirements engineering",

author = "Guimaraes, {Felipe Pontes} and Rodrigues, {Genaina Nunes} and Batista, {Daniel Macedo} and Raian Ali",

note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2015.; 34th International Conference on Conceptual Modeling, ER 2015 ; Conference date: 19-10-2015 Through 22-10-2015",

year = "2015",

doi = "10.1007/978-3-319-25264-3_4",

language = "English",

isbn = "9783319252636",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "50--64",

editor = "L{\'o}pez, {{\'O}scar Pastor} and Lee, {Mong Li} and Liddle, {Stephen W.} and Paul Johannesson and Opdahl, {Andreas L.}",

booktitle = "Conceptual Modeling - 34th International Conference, ER 2015",

address = "Germany",

}

Guimaraes, FP, Rodrigues, GN, Batista, DM & Ali, R 2015, Pragmatic requirements for adaptive systems: A goal-driven modeling and analysis approach. in ÓP López, ML Lee, SW Liddle, P Johannesson & AL Opdahl (eds), Conceptual Modeling - 34th International Conference, ER 2015. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9381, Springer Verlag, pp. 50-64, 34th International Conference on Conceptual Modeling, ER 2015, Stockholm, Sweden, 19/10/15. https://doi.org/10.1007/978-3-319-25264-3_4

Pragmatic requirements for adaptive systems: A goal-driven modeling and analysis approach. / Guimaraes, Felipe Pontes; Rodrigues, Genaina Nunes; Batista, Daniel Macedo et al.
Conceptual Modeling - 34th International Conference, ER 2015. ed. / Óscar Pastor López; Mong Li Lee; Stephen W. Liddle; Paul Johannesson; Andreas L. Opdahl. Springer Verlag, 2015. p. 50-64 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9381).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Pragmatic requirements for adaptive systems

T2 - 34th International Conference on Conceptual Modeling, ER 2015

AU - Guimaraes, Felipe Pontes

AU - Rodrigues, Genaina Nunes

AU - Batista, Daniel Macedo

AU - Ali, Raian

N1 - Publisher Copyright: © Springer International Publishing Switzerland 2015.

PY - 2015

Y1 - 2015

N2 - 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.

AB - 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.

KW - Context dependency

KW - Goal-models

KW - Requirements engineering

UR - http://www.scopus.com/inward/record.url?scp=84951830716&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-25264-3_4

DO - 10.1007/978-3-319-25264-3_4

M3 - Conference contribution

AN - SCOPUS:84951830716

SN - 9783319252636

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 50

EP - 64

BT - Conceptual Modeling - 34th International Conference, ER 2015

A2 - López, Óscar Pastor

A2 - Lee, Mong Li

A2 - Liddle, Stephen W.

A2 - Johannesson, Paul

A2 - Opdahl, Andreas L.

PB - Springer Verlag

Y2 - 19 October 2015 through 22 October 2015

ER -

Guimaraes FP, Rodrigues GN, Batista DM, Ali R. Pragmatic requirements for adaptive systems: A goal-driven modeling and analysis approach. In López ÓP, Lee ML, Liddle SW, Johannesson P, Opdahl AL, editors, Conceptual Modeling - 34th International Conference, ER 2015. Springer Verlag. 2015. p. 50-64. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-25264-3_4

Pragmatic requirements for adaptive systems: A goal-driven modeling and analysis approach

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this