Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Engineering Multi-Agent Systems

EMAS 2013: Engineering Multi-Agent Systems pp 235–254Cite as

GoalSPEC: A Goal Specification Language Supporting Adaptivity and Evolution

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 8245))

Abstract

The characteristic of being autonomous and proactive makes the agents able to explore a wide solution space, that dynamically changes or contains uncertainty. We propose a language for describing system goals that may be injected at run-time into the system. The novelty of our approach consists in decoupling the business goals (what is expected) and their implementation (how to address the desired behavior). Indeed relieving the tension between ’what’ and ’how’ provides more degrees of freedom to the system. On the occurrence, agents of our system may exploit their features (mainly autonomy and proactivity, but also learning and planning) for getting benefits from a wider solution space. The result is that the system behavior may adapt to the current operating conditions. Moreover, the injection mechanism contributes to reduce the effort in evolving the system. This paper focuses on the goal specification language that is the base for enabling both adaptivity and evolution.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. BPMN, O.: Business process model and notation (bpmn) (2009), www.omg.org/spec/BPMN/2.0/

  2. Van der Aalst,, W., Basten, T., Verbeek, H.M.W., Verkoulen, P.A.C., Voorhoeve, M.: Adaptive workflow. In: Enterprise Information Systems. Kluwer Academic Publishers (1999)

    Google Scholar 

  3. Casati, F., Ceri, S., Pernici, B., Pozzi, G.: Workflow evolution. Data & Knowledge Engineering 24(3), 211–238 (1998)

    Article  MATH  Google Scholar 

  4. Kammer, P., Bolcer, G., Taylor, R., Hitomi, A., Bergman, M.: Techniques for supporting dynamic and adaptive workflow. Computer Supported Cooperative Work (CSCW) 9(3), 269–292 (2000)

    Article  Google Scholar 

  5. Serral, E., Sabatucci, L., Leonardi, C., Valderas, P., Susi, A., Zancanaro, M., Pelechano, V.: Applying a methodology for developing ami systems: the nursing home case study. In: Proceedings of the 20th International Conference on Information Systems Development Cutting Edge Research on Information Systems (2011)

    Google Scholar 

  6. Buhler, P., Vidal, J.: Towards adaptive workflow enactment using multiagent systems. Information Technology and Management 6(1), 61–87 (2005)

    Article  Google Scholar 

  7. Morandini, M., Penserini, L., Perini, A.: Towards goal-oriented development of self-adaptive systems. In: Proceedings of the 2008 International Workshop on Software Engineering for Adaptive and Self-managing Systems, pp. 9–16 (2008)

    Google Scholar 

  8. Winikoff, M., Padgham, L., Harland, J., Thangarajah, J.: Declarative and procedural goals in intelligent agent systems. In: International Conference on Principles of Knowledge Representation and Reasoning, Morgan Kaufmann (2002)

    Google Scholar 

  9. Bresciani, P., Perini, A., Giorgini, P., Giunchiglia, F., Mylopoulos, J.: Tropos: An agent-oriented software development methodology. Autonomous Agents and Multi-Agent Systems 8(3), 203–236 (2004)

    Article  Google Scholar 

  10. Van Lamsweerde, A.: Goal-oriented requirements engineering: A guided tour. In: Proceedings of Fifth IEEE International Symposium on Requirements Engineering, pp. 249–262 (2001)

    Google Scholar 

  11. Yu, E., Mylopoulos, J.: Why goal-oriented requirements engineering. In: Proceedings of the 4th International Workshop on Requirements Engineering: Foundations of Software Quality, pp. 15–22 (1998)

    Google Scholar 

  12. Cheng, B., de Lemos, R., Giese, H., Inverardi, P., Magee, J., Andersson, J., Becker, B., Bencomo, N., Brun, Y., Cukic, B., et al.: Software engineering for self-adaptive systems: A research roadmap. Software Engineering for Self-Adaptive Systems, 1–26 (2009)

    Google Scholar 

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

    Article  Google Scholar 

  14. Van Dyke Parunak, H., Brueckner, S.: Entropy and self-organization in multi-agent systems. In: Proceedings of the Fifth International Conference on Autonomous Agents, pp. 124–130. ACM (2001)

    Google Scholar 

  15. Wohlin, C., Runeson, P., Höst, M., Ohlsson, M.C., Regnell, B., Wesslén, A.: Experimentation in software engineering: An introduction. Kluwer Academic Publishers (2000)

    Google Scholar 

  16. Team, BMM: Business motivation model (bmm) specification. Technical report, Technical Report dtc/06–08–03, Object Management Group, Needham, Massachusetts, USA (2006)

    Google Scholar 

  17. Rolland, C., Souveyet, C., Achour, C.: Guiding goal modeling using scenarios. IEEE Transactions on Software Engineering 24(12), 1055–1071 (1998)

    Article  Google Scholar 

  18. Yu, E.: Modelling strategic relationships for process reengineering. Social Modeling for Requirements Engineering 11 (2011)

    Google Scholar 

  19. Fuxman, A., Pistore, M., Mylopoulos, J., Traverso, P.: Model checking early requirements specifications in tropos. In: Proceedings of Fifth IEEE International Symposium on Requirements Engineering, pp. 174–181. IEEE (2001)

    Google Scholar 

  20. Yu, L.: From requirements to architectural design–using goals and scenarios. University of Toronto (2001), http://www.cs.toronto.edu/km/GRL/fromr2a/fromr2a/straw01.pdf

  21. Dardenne, A., Van Lamsweerde, A., Fickas, S.: Goal-directed requirements acquisition. Science of Computer Programming 20(1), 3–50 (1993)

    Article  MATH  Google Scholar 

  22. Hindriks, K.V., de Boer, F.S., van der Hoek, W., Meyer, J.-J.C.: Agent programming with declarative goals. In: Castelfranchi, C., Lespérance, Y. (eds.) ATAL 2000. LNCS (LNAI), vol. 1986, pp. 228–243. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  23. Howden, N., Rönnquist, R., Hodgson, A., Lucas, A.: Jack intelligent agents-summary of an agent infrastructure. In: 5th International Conference on Autonomous Agents (2001)

    Google Scholar 

  24. Rao, A.: Agentspeak (l): Bdi agents speak out in a logical computable language. Agents Breaking Away, 42–55 (1996)

    Google Scholar 

  25. Bordini, R.H., Hübner, J.F.: A java-based agentspeak interpreter used with saci for multi-agent distribution over the net (2004)

    Google Scholar 

  26. Hindriks, K.V., De Boer, F.S., Van der Hoek, W., Meyer, J.J.C.: Agent programming in 3APL. Autonomous Agents and Multi-Agent Systems 2(4), 357–401 (1999)

    Article  Google Scholar 

  27. Dastani, M., van Riemsdijk, M.B., Dignum, F.P.M., Meyer, J.-J.C.: A programming language for cognitive agents goal directed 3APL. In: Dastani, M., Dix, J., El Fallah-Seghrouchni, A. (eds.) PROMAS 2003. LNCS (LNAI), vol. 3067, pp. 111–130. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  28. Braubach, L., Pokahr, A., Moldt, D., Lamersdorf, W.: Goal representation for BDI agent systems. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.) PROMAS 2004. LNCS (LNAI), vol. 3346, pp. 44–65. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  29. Ribino, P., Lodato, C., Lopes, S., Seidita, V., Hilaire, V., Cossentino, M.: A norm-governed holonic multi-agent system metamodel. In: Müller, J.P., Cossentino, M. (eds.) AOSE 2012. LNCS, vol. 7852, pp. 22–39. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  30. ISO Technical Committee TC 154: Iso 8601 international standard date and time notation (1998), http://www.iso.org/

  31. Bordini, R.H., Hübner, J.F., Wooldridge, M.: Programming multi-agent systems in AgentSpeak using Jason, vol. 8. Wiley Interscience (2007)

    Google Scholar 

  32. TC OASIS: WS-BPEL - Web Services Business Process Execution Language (2007), http://www.oasis-open.org

  33. Ghose, A.K., Koliadis, G.: Relating business process models to goal-oriented requirements models in kaos. Faculty of Informatics-Papers, 573 (2007)

    Google Scholar 

  34. Burmeister, B., Arnold, M., Copaciu, F., Rimassa, G.: Bdi-agents for agile goal-oriented business processes. In: Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems: Industrial Track, pp. 37–44. International Foundation for Autonomous Agents and Multiagent Systems (2008)

    Google Scholar 

  35. Greenwood, D., Ghizzioli, R.: Goal-oriented autonomic business process modelling and execution. Multiagent System (2009)

    Google Scholar 

  36. Chen-Burger, Y.H., Stader, J.: Formal support for adaptive workflow systems in a distributed environment. In: Workflow Handbook 2003, p. 93 (2003)

    Google Scholar 

  37. Cao, J., Yang, J., Chan, W.: Exception handling in distributed workflow systems using mobile agents. e-Business Engineering (2005)

    Google Scholar 

  38. Liaskos, S., Khan, S.M., Litoiu, M., Daoud Jungblut, M., Rogozhkin, V., Mylopoulos, J.: Behavioral adaptation of information systems through goal models. Information Systems (2012)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. ICAR-CNR, Consiglio Nazionale delle Ricerche, Palermo, Italy

    Luca Sabatucci, Patrizia Ribino, Carmelo Lodato, Salvatore Lopes & Massimo Cossentino

Authors
  1. Luca Sabatucci
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Patrizia Ribino
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Carmelo Lodato
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Salvatore Lopes
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Massimo Cossentino
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. ICAR/CNR, Istituto per il CAlcolo Automatico e Reti ad Alte Prestazioni/National Research Council, Viale delle Scienze, ed.11, 90128, Palermo, Italy

    Massimo Cossentino

  2. University Pierre and Marie Curie, LIP6, 4,Plce Jussieu, 75252, Paris Cedex 0, France

    Amal El Fallah Seghrouchni

  3. Department of Information Science, University of Otago, P.O. Box 56, 9054, Dunedin, New Zealand

    Michael Winikoff

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Sabatucci, L., Ribino, P., Lodato, C., Lopes, S., Cossentino, M. (2013). GoalSPEC: A Goal Specification Language Supporting Adaptivity and Evolution. In: Cossentino, M., El Fallah Seghrouchni, A., Winikoff, M. (eds) Engineering Multi-Agent Systems. EMAS 2013. Lecture Notes in Computer Science(), vol 8245. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-45343-4_13

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-45343-4_13

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-45342-7

  • Online ISBN: 978-3-642-45343-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation