nach oben

Erschienen in:

2018 | OriginalPaper | Buchkapitel

An Arithmetic Semantics for GRL Goal Models with Function Generation

verfasst von : Yuxuan Fan, Amal Ahmed Anda, Daniel Amyot

Erschienen in: System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

Goal models are used to support early requirements engineering activities by capturing system and stakeholder objectives and their links, and by enabling what-if and trade-off analysis in a decision-making context. They are also increasingly used in system monitoring and self-adaptation contexts. Yet, automatically converting goal models to code for supporting analysis and adaptation activities remains an issue. This paper presents a new arithmetic semantics for the standard Goal-oriented Requirement Language (GRL), supported by a transformation to functions in multiple programming languages. Such code allows for quantitative GRL model evaluations to be performed outside of modeling tools, including in running systems. The transformation makes use of a Python-based intermediate representation (SymPy), with function generation in Java, JavaScript, C, C++, Python, R, and Matlab. The semantics and transformation, implemented in the jUCMNav plug-in for Eclipse, entirely cover GRL, including goals, indicators, actors, and any combination of links.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriges Kapitel Realizability of Service Specifications

Nächstes Kapitel Textual User Requirements Notation

Amyot, D., Ghanavati, S., Horkoff, J., Mussbacher, G., Peyton, L., Yu, E.: Evaluating goal models within the goal-oriented requirement language. Int. J. Intel. Syst. 25(8), 841–877 (2010)CrossRef

Amyot, D., Mussbacher, G.: User requirements notation: the first ten years, the next ten years. JSW 6(5), 747–768 (2011)CrossRef

Amyot, D., et al.: Towards advanced goal model analysis with jUCMNav. In: Castano, S., Vassiliadis, P., Lakshmanan, L.V., Lee, M.L. (eds.) ER 2012. LNCS, vol. 7518, pp. 201–210. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-33999-8_25CrossRef

Anda, A.A., Amyot, D.: Self-adaptation driven by SysML and goal models: a literature review. Syst. Eng. (2018), (submitted)

Baslyman, M., Amyot, D.: A distance-based GRL approach to goal model refinement and alternative selection. In: 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW), pp. 16–20. IEEE (2017)

Bocanegra, J., Pavlich-Mariscal, J., Carrillo-Ramos, A.: On the role of model-driven engineering in adaptive systems. In: Computing Conference (CCC), 2016 IEEE 11th Colombian, pp. 1–8. IEEE (2016)

Ceballos, B., Lamata, M.T., Pelta, D.A.: A comparative analysis of multi-criteria decision-making methods. Prog. AI 5(4), 315–322 (2016). https://doi.org/10.1007/s13748-016-0093-1CrossRef

Chatzikonstantinou, G., Kontogiannis, K.: Run-time requirements verification for reconfigurable systems. Inf. Softw. Technol. 75, 105–121 (2016)CrossRef

Chitra, Subramanian, M., Krishna, A., Kaur, A.: Optimal goal programming of softgoals in goal-oriented requirements engineering. In: PACIS 2016 Proceedings, p. 202. AISEL (2016)

10.

Chitra, S., Krishna, A., Kaur, A.: Optimal reasoning of goals in the i* framework. In: Asia-Pacific Software Engineering Conference, APSEC, pp. 346–353 (2015)

11.

Fan, Y.: GRLToMath plugin for jUCMNav (2018). https://github.com/AAmberFan/GRLToMath

12.

Horkoff, J., Aydemir, F.B., Cardoso, E., Li, T., Maté, A., Paja, E., Salnitri, M., Piras, L., Mylopoulos, J., Giorgini, P.: Goal-oriented requirements engineering: an extended systematic mapping study. Requir. Eng., Sep 2017. https://doi.org/10.1007/s00766-017-0280-z

13.

Horkoff, J., Yu, E.: Comparison and evaluation of goal-oriented satisfaction analysis techniques. Requir. Eng. 18(3), 199–222 (2013). https://doi.org/10.1007/s00766-011-0143-yCrossRef

14.

International Telecommunication Union: Recommendation Z.151 (10/12) User Requirements Notation (URN)—Language definition (2012). https://www.itu.int/rec/T-REC-Z.151/en

15.

Ito, Y., Tomura, S., Moriya, K.: Vibration-reducing motor control for hybrid vehicles. R&D Rev. Toyota CRDL 40(2), 37–43 (2005)

16.

Luo, H., Amyot, D.: Towards a declarative, constraint-oriented semantics with a generic evaluation algorithm for GRL. In: 5th International i* Workshop (iStar 2011). CEUR-WS, vol. 766, pp. 26–31 (2011)

17.

Nguyen, C.M., Sebastiani, R., Giorgini, P., Mylopoulos, J.: Multi-objective reasoning with constrained goal models. Requir. Eng. 23(2), 189–225 (2018)CrossRef

18.

Noorian, M., Bagheri, E., Du, W.: Toward automated qualitycentric product line configuration using intentional variability. J. Softw. Evoluti. Process 29(9), e1870 (2017)CrossRef

19.

Object Management Group: Systems Modeling Language (SysML) v2 Request For Proposal (RFP). OMG Document Number: ad/17-12-02 (2017). http://www.omg.org/cgi-bin/doc.cgi?ad/2017-12-2

20.

Object Management Group: Systems Modeling Language (SysML). Version 1.5. OMG Document Number: formal-17-05-01. (2017). https://www.omg.org/spec/SysML/1.5/

21.

Pourshahid, A., Johari, I., Richards, G., Amyot, D., Akhigbe, O.S.: A goal-oriented, business intelligence-supported decision-making methodology. Decis. Anal. 1, 9 (2014)CrossRef

22.

Ramirez, A.J., Cheng, B.H.C.: Automatic derivation of utility functions for monitoring software requirements. In: Whittle, J., Clark, T., Kühne, T. (eds.) MODELS 2011. LNCS, vol. 6981, pp. 501–516. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-24485-8_37CrossRef

23.

SymPy Development Team: SymPy (2018). http://www.sympy.org/

24.

Van Lamsweerde, A.: Requirements Engineering: From System Goals to UML Models to Software, vol. 10. Wiley, Chichester, UK (2009)

25.

Vrbaski, M., Mussbacher, G., Petriu, D., Amyot, D.: Goal models as run-time entities in context-aware systems. In: Proceedings of the 7th Workshop on Models@Run.Time, pp. 3–8. MRT 2012. ACM (2012). https://doi.org/10.1145/2422518.2422520

26.

Whittle, J., Sawyer, P., Bencomo, N., Cheng, B.H.C., Bruel, J.M.: RELAX: a language to address uncertainty in self-adaptive systems requirement. Requir. Eng. 15(2), 177–196 (2010)CrossRef

27.

Yang, Z., Li, Z., Jin, Z., Chen, Y.: A systematic literature review of requirements modeling and analysis for self-adaptive systems. In: Salinesi, C., van de Weerd, I. (eds.) REFSQ 2014. LNCS, vol. 8396, pp. 55–71. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-05843-6_5CrossRef

Titel: An Arithmetic Semantics for GRL Goal Models with Function Generation
verfasst von: Yuxuan Fan
Amal Ahmed Anda
Daniel Amyot
Verlag: Springer International Publishing
Buch: System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering
Print ISBN: 978-3-030-01041-6

Electronic ISBN: 978-3-030-01042-3

Copyright-Jahr: 2018
DOI: https://doi.org/10.1007/978-3-030-01042-3_9

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner