Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
10.1145/3229345.3229402acmotherconferencesArticle/Chapter ViewAbstractPublication PagessbsiConference Proceedingsconference-collections
research-article

Goal-Oriented Model Conversion to Automated Planning Problem Using Hierarchical Task Networks

Published: 04 June 2018 Publication History

Abstract

Specifying systems adhering to stakeholders' goals is a topic of great research interest. This scenario becomes even more challenging when it is expected that systems will be able to adapt in a timely manner to the situations experienced by them in order to promote adherence to organizational and individual expectations. In this sense, this papers works with goal-oriented modeling to promote the understanding and requirements' analysis focused on agents' interests. During the systems project, we advocate the use of automated planning to support the selection of requirements or to support the adaptation of its functionalities at runtime. As a first step, this paper provides a goal-oriented automatic model converter (Tropos model) using RGM (Runtime Goal Model) rules for real-time adaptation to a planning model based on hierarchical tasks network. The converter was tested using three generic examples and a real scenario of a mobile application for public transport. The converter was promising and adherent to the representation of reality.

References

[1]
M.C.A. Meireles, J.Y. Kanda, B.A. Bonifácio and J.S. Leão 2015. Integrando Métodos de Tomada de Decisão no Processo de Elicitação de Requisitos. In: Simpósio Brasileiro de Sistemas de Informação. 1. 526--533, Florianópolis, Brasil.
[2]
M. Ghallab, D. Nau and P. Traverso. 2016. Automated Planning: Theory and Practice. Cambridge University Press.
[3]
V. T. Nunes, F.M. Santoro, C.M.L. Werner and C.G. Ralha. 2018. Real-Time Process Adaptation: A Context-Aware Replanning Approach. IEEE Transactions on Systems Man Cybernetics-Systems, 48, 99--118.
[4]
S. Liaskos, S. A. McIlraith, S. Sohrabi and J. Mylopoulos. 2012. Integrating Preferences into Goal Models for Requirements Engineering. 2010 18th IEEE International Requirements Engineering Conference, Sydney, 135--144.
[5]
A. Ramoul, D. Pellier, H. Fiorino and S. Pesty. 2017. Grounding of HTN Planning Domain. Int. Jour. On Artificial Intelligence Tools, 26, 1--24.
[6]
A. Fuxman, L. Liu, J. Mylopoulos, M. Pistore, M. Roveri, and P. Traverso. 2004. Specifying and analyzing early requirements in Tropos. Req. Eng. 9, 132--150.
[7]
F. Dalpiaz, A. Borgida, J. Horkoff and J. Mylopoulos. 2013. Runtime goal models: keynote, IEEE 7th Int. Conf. on Research Challenges in Info. Science (RCIS). 1--11.
[8]
Mobee, Mobee: App for Android in Google Play. 2015. (https://play.google.com/store/apps/details?id=app.mobee). {Online; accessed 3-august-2015}.
[9]
H.J. Goldsby, P. Sawyer, N. Bencomo, B H.C. Cheng, and D. Hughes. 2008. Goal-Based Modeling of Dynamically Adaptive System Requirements, 15th IEEE Int. Conf. and Workshop on the Eng. of Comp. Based Sys., Belfast, 36--45.
[10]
B.H.C. Cheng, P. Sawyer, N. Bencomo and J.A. Whittle. 2009. Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty. In: Model Driven Engineering Languages and Systems LNCS, 5795. Springer, Berlin, 468--483.
[11]
L. Chung, B. Nixon, E. Yu, and J. Mylopoulos. 2000. Non-Functional Requirements in Software Engineering. Kluwer.
[12]
E. Yu. 1997. Towards Modeling and Reasoning Support for Early-Phase Requirements Engineering. Proc. 3rd Int. Symp. on Req. Eng. (RE'97), Washington, USA.
[13]
D. Nau, T. Au, O. Ilghami, U. Kuter, Murdock, J.W., D. Wu, and F. Yaman. 2003. SHOP2: An HTN Planning System. Journal of Artificial Intelligence Research. 20, 379--404.
[14]
M. Morandini, D.C. Nguyen, A. Perini, A. Siena, and A. Susi. 2008. Tool-supported development with tropos: the conference management system case study, Proc. of the 8th Int. Conf. on Agent-oriented Software Engineering VIII, AOSE'07, Springer-Verlag, Berlin, Heidelberg, 182--196.
[15]
D.F. Mendonça, G.N. Rodrigues, R. Ali, and V.A.L. Baresi. 2016. Goda: A goal-oriented requirements engineering framework for runtime dependability analysis. Information and Software Technology. 80, 245--264.

Index Terms

  1. Goal-Oriented Model Conversion to Automated Planning Problem Using Hierarchical Task Networks

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM Other conferences
    SBSI '18: Proceedings of the XIV Brazilian Symposium on Information Systems
    June 2018
    578 pages
    ISBN:9781450365598
    DOI:10.1145/3229345
    Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

    In-Cooperation

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 04 June 2018

    Permissions

    Request permissions for this article.

    Check for updates

    Author Tags

    1. Requirements Analysis
    2. Runtime Goal Model
    3. System Adaptation
    4. Tropos

    Qualifiers

    • Research-article
    • Research
    • Refereed limited

    Conference

    SBSI'18
    SBSI'18: XIV Brazilian Symposium on Information Systems
    June 4 - 8, 2018
    Caxias do Sul, Brazil

    Acceptance Rates

    Overall Acceptance Rate 181 of 557 submissions, 32%

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • 0
      Total Citations
    • 57
      Total Downloads
    • Downloads (Last 12 months)0
    • Downloads (Last 6 weeks)0
    Reflects downloads up to 03 Feb 2025

    Other Metrics

    Citations

    View Options

    Login options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Figures

    Tables

    Media

    Share

    Share

    Share this Publication link

    Share on social media