Skip to main content
Springer Nature Link
Log in

Validating Requirements Using Gaia Roles Models

  • Conference paper
  • First Online:
Engineering Multi-Agent Systems (EMAS 2015)

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

Included in the following conference series:

  • 503 Accesses

Abstract

This paper presents a method that aims at assisting an engineer in transforming agent roles models to a process model. Thus, the software engineer can employ available tools to validate specific properties of the modeled system before its final implementation. The method includes a tool for aiding the engineer in the transformation process. This tool uses a recursive algorithm for automating the transformation process and guides the user to dynamically integrate two or more agent roles in a process model with multiple pools. The tool usage is demonstrated through a running example, based on a real world project. Simulations of the defined agent roles can be used to (a) validate the system requirements and (b) determine how it could scale. This way, engineers, analysts and managers can configure the processes’ parameters and identify and resolve risks early in their project.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

Notes

  1. 1.

    ASK-IT has been co-funded by the European Union under the 6th Framework Programme (no IST-2003-511298).

  2. 2.

    The BPM Academic Initiative of Signavio offers a web-based process modeling platform to students, lecturers and researchers, http://www.signavio.com/bpm-academic-initiative.

  3. 3.

    E.g. the “Convert XPDL to BPMN” service provided freely on-line by Trisotech, http://www.businessprocessincubator.com.

  4. 4.

    https://github.com/ASEMEtransformation/Liveness2XPDL.

  5. 5.

    WADE is a software platform based on JADE providing support for the execution of tasks defined using the workflow metaphor, http://jade.tilab.com/wadeproject.

References

  1. Rana, O.F., Stout, K.: What is scalability in multi-agent systems? In: International Conference on Autonomous Agents. pp. 56–63. ACM, Barcelona, Spain (2000)

    Google Scholar 

  2. Dumas, M., La Rosa, M., Mendling, J., Reijers, H.A.: Fundamentals of Business Process Management. Springer, Berlin (2013)

    Book  Google Scholar 

  3. Wooldridge, M., Jennings, N.R., Kinny, D.: The Gaia Methodology for Agent-Oriented Analysis and Design. Auton. Agent. Multi. Agent. Syst. 3, 285–312 (2000)

    Article  Google Scholar 

  4. Juan, T., Pearce, A., Sterling, L.: ROADMAP: extending the gaia methodology for complex open systems. In: Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems part 1 – AAMAS 2002, pp. 3−10. ACM Press, New York, USA (2002)

    Google Scholar 

  5. Moraitis, P., Spanoudakis, N.: The GAIA2JADE process for multi-agent systems development. Appl. Artif. Intell. 20, 251–273 (2006)

    Article  Google Scholar 

  6. Cernuzzi, L., Zambonelli, F.: Gaia4E: A tool supporting the design of MAS using gaia. In: Proceedings of the 11th International Conference on Enterprise Information Systems (ICEIS 2009), 6–10 May, Milan, Italy, vol. SAIC, pp. 82−88 (2009)

    Google Scholar 

  7. Spanoudakis, N., Moraitis, P.: Using ASEME methodology for model-driven agent systems development. In: Weyns, D., Gleizes, M.-P. (eds.) AOSE 2010. LNCS, vol. 6788, pp. 106–127. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  8. Workflow Management Coalition: Workflow Standard Process Definition Interface - XML Process Definition Language, WFMC-TC-1025. (2008)

    Google Scholar 

  9. Zambonelli, F., Jennings, N.R., Wooldridge, M.: Developing multiagent systems: the Gaia methodology. ACM Trans. Softw. Eng. Methodol. 12, 317–370 (2003)

    Article  Google Scholar 

  10. Pascalau, E., Giurca, A., Wagner, G.: Validating auction business processes using agent-based simulations. In: Proceedings of 2nd International Conference on Business Process and Services Computing (BPSC 2009), Leipzig, Germany, 23−24 March 2009)

    Google Scholar 

  11. Szimanski, F., Ralha, C.G., Wagner, G., Ferreira, D.R.: Improving business process models with agent-based simulation and process mining. In: Nurcan, S., Proper, H.A., Soffer, P., Krogstie, J., Schmidt, R., Halpin, T., Bider, I. (eds.) BPMDS 2013 and EMMSAD 2013. LNBIP, vol. 147, pp. 124–138. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  12. Onggo, B.S.S.: BPMN pattern for agent-based simulation model representation. In: Proceedings of the 2012 Winter Simulation Conference (WSC), pp. 1−10. IEEE (2012)

    Google Scholar 

  13. Spanoudakis, N., Moraitis, P.: An agent modeling language implementing protocols through capabilities. In: 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, pp. 578−582. IEEE (2008)

    Google Scholar 

  14. Wirth, N.: Extended Backus-Naur Form (EBNF), ISO/IEC 14977:1996(E) (1996)

    Google Scholar 

  15. Sendall, S., Kozaczynski, W.: Model transformation: the heart and soul of model-driven software development. IEEE Softw. 20, 42–45 (2003)

    Article  Google Scholar 

  16. Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: Eclipse Modeling Framework, 2nd edn. Addison-Wesley Professional, Boston (2008)

    Google Scholar 

  17. Redding, G., Dumas, M., ter Hofstede, A.H.M., Iordachescu, A.: Generating business process models from object behavior models. Inf. Syst. Manag. 25, 319–331 (2008)

    Article  Google Scholar 

  18. Jahangirian, M., Eldabi, T., Naseer, A., Stergioulas, L.K., Young, T.: Simulation in manufacturing and business: a review. Eur. J. Oper. Res. 203, 1–13 (2010)

    Article  Google Scholar 

  19. Cibrán, M.A.: Translating BPMN models into UML activities. In: Ardagna, D., Mecella, M., Yang, J. (eds.) BPM 2008 International Workshops, Milano, Italy, September 1–4, 2008. Revised Papers, pp. 236–247. Springer, Heidelberg (2009)

    Google Scholar 

  20. González-Ferrer, A., Fernández-Olivares, J., Castillo, L.: From business process models to hierarchical task network planning domains. Knowl. Eng. Rev. 28, 175–193 (2013)

    Article  Google Scholar 

  21. Van der Aalst, W.M.P.: The application of petri nets to workflow management. J. Circuits Syst. Comput. 8, 21–66 (1998)

    Article  Google Scholar 

  22. Bernon, C., Cossentino, M., Gleizes, M.-P., Turci, P., Zambonelli, F.: A study of some multi-agent meta-models. In: Odell, J.J., Giorgini, P., Müller, J.P. (eds.) AOSE 2004. LNCS, vol. 3382, pp. 62–77. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  23. Juan, T., Sterling, L.: The ROADMAP meta-model for intelligent adaptive multi-agent systems in open environments. In: Giorgini, P., Müller, J.P., Odell, J.J. (eds.) AOSE 2003. LNCS, vol. 2935, pp. 53–68. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  24. Cossentino, M., Gaglio, S., Garro, A., Seidita, V.: Method fragments for agent design methodologies: from standardisation to research. Int. J. Agent-Oriented Softw. Eng. 1, 91 (2007)

    Article  Google Scholar 

  25. Seidita, V., Cossentino, M., Gaglio, S.: Using and extending the SPEM specifications to represent agent oriented methodologies. In: Luck, M., Gomez-Sanz, J.J. (eds.) AOSE 2008. LNCS, vol. 5386, pp. 46–59. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  26. Dam, H.K., Ghose, A.: Agent-based development for business processes. In: Desai, N., Liu, A., Winikoff, M. (eds.) Principles and Practice of Multi-Agent Systems, pp. 387–393. Springer, Berlin Heidelberg, Berlin, Heidelberg (2012)

    Chapter  Google Scholar 

  27. Endert, H., Hirsch, B., Küster, T., Albayrak, Ş.: Towards a mapping from BPMN to agents. In: Huang, J., Kowalczyk, R., Maamar, Z., Martin, D., Müller, I., Stoutenburg, S., Sycara, K. (eds.) SOCASE 2007. LNCS, vol. 4504, pp. 92–106. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  28. Delias, P., Spanoudakis, N.: Simulating multi-agent system designs using business process modeling. In: 8th European Workshop on Multi-Agent Systems (EUMAS 2010), Paris, France (2010)

    Google Scholar 

  29. Jennings, N.R., Moreau, L., Nicholson, D., Ramchurn, S.D., Roberts, S., Rodden, T., Rogers, A.: Human-Agent Collectives. Commun. ACM 57, 80–88 (2014)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Electronic and Computer Engineering (ECE), Technical University of Crete (TUC), Chania, Greece

    Nektarios Mitakidis

  2. Business School, Eastern Macedonia and Thrace Institute of Technology, Kavala, Greece

    Pavlos Delias

  3. School of Production Engineering and Management (PEM), Applied Mathematics and Computers Laboratory (AMCL), Technical University of Crete (TUC), Chania, Greece

    Nikolaos Spanoudakis

Authors
  1. Nektarios Mitakidis
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Pavlos Delias
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Nikolaos Spanoudakis
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Nikolaos Spanoudakis .

Editor information

Editors and Affiliations

  1. Torino, Italy

    Matteo Baldoni

  2. DEIB - Politecnico di Milano, Milano, Italy

    Luciano Baresi

  3. Dept. of Information& Computing Sciences, Utrecht, Utrecht, The Netherlands

    Mehdi Dastani

Appendix: The Recursive Transformation Algorithm

Appendix: The Recursive Transformation Algorithm

The pseudocode of the tranformation algorithm is presented below. The different model elements are represented as classes and their properties as class properties, accessible using the dot operator, i.e. < classname > .<property > . For representing a list we use a List class that supports the operations add (to add an element to the list) and size (to return the number of its elements). The program takes as input an XPDL Package instance and the String liveness property of an SRM Role instance.

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Mitakidis, N., Delias, P., Spanoudakis, N. (2015). Validating Requirements Using Gaia Roles Models. In: Baldoni, M., Baresi, L., Dastani, M. (eds) Engineering Multi-Agent Systems. EMAS 2015. Lecture Notes in Computer Science(), vol 9318. Springer, Cham. https://doi.org/10.1007/978-3-319-26184-3_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-26184-3_10

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-26183-6

  • Online ISBN: 978-3-319-26184-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics