Skip to main content
SpringerLink
Log in

Generating Executable Multi-agent System Prototypes from SONAR Specifications

  • Conference paper
Coordination, Organizations, Institutions, and Norms in Agent Systems VI (COIN 2010)

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

Abstract

This contribution presents the Mulan4Sonar middleware and its prototypical implementation for a comprehensive support of organisational teamwork, including aspects like team formation, negotiation, team planning, coordination, and transformation. Organisations are modelled in Sonar, a Petri net–based specification formalism for multi-agent organisations. Sonar models are rich and elaborated enough to automatically generate all necessary configuration information for the Mulan4Sonar middleware.

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

Access this chapter

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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Carley, K.M., Gasser, L.: Computational organisation theory. In: Weiß, G. (ed.) Multiagent Systems, pp. 229–330. MIT Press, Cambridge (1999)

    Google Scholar 

  2. Dignum, V. (ed.): Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models. IGI Global, Information Science Reference (2009)

    Google Scholar 

  3. Köhler-Bußmeier, M., Wester-Ebbinghaus, M., Moldt, D.: A formal model for organisational structures behind process-aware information systems. In: Jensen, K., van der Aalst, W.M.P. (eds.) Transactions on Petri Nets and Other Models of Concurrency II. LNCS, vol. 5460, pp. 98–114. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  4. Köhler, M.: A formal model of multi-agent organisations. Fundamenta Informaticae 79, 415–430 (2007)

    MathSciNet  MATH  Google Scholar 

  5. Girault, C., Valk, R. (eds.): Petri Nets for System Engineering – A Guide to Modeling, Verification, and Applications. Springer, Heidelberg (2003)

    MATH  Google Scholar 

  6. Valk, R.: Object Petri nets: Using the nets-within-nets paradigm. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) Advanced Course on Petri Nets. LNCS, vol. 3098, pp. 819–848. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  7. Kummer, O., Wienberg, F., Duvigneau, M., Schumacher, J., Köhler, M., Moldt, D., Rölke, H., Valk, R.: An extensible editor and simulation engine for Petri nets: Renew. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol. 3099, pp. 484–493. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  8. Köhler, M., Moldt, D., Rölke, H.: Modeling the behaviour of Petri net agents. In: Colom, J.M., Koutny, M. (eds.) ICATPN 2001. LNCS, vol. 2075, pp. 224–241. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  9. Cabac, L., Dörges, T., Duvigneau, M., Moldt, D., Reese, C., Wester-Ebbinghaus, M.: Agent models for concurrent software systems. In: Bergmann, R., Lindemann, G. (eds.) MATES 2008. LNCS (LNAI), vol. 5244, pp. 37–48. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  10. Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of algebraic graph transformation. Springer, Heidelberg (2006)

    MATH  Google Scholar 

  11. Fischer, K., Schillo, M., Siekmann, J.: Holonic multiagent systems: A foundation for the organisation of multiagent systems. In: Mařík, V., McFarlane, D.C., Valckenaers, P. (eds.) HoloMAS 2003. LNCS (LNAI), vol. 2744, pp. 71–80. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  12. Wester-Ebbinghaus, M., Moldt, D., Köhler-Bußmeier, M.: Modelling an open and controlled system unit as a modular component of systems of systems. In: Jensen, K., Donatelli, S., Koutny, M. (eds.) Transactions on Petri Nets and Other Models of Concurrency IV. LNCS, vol. 6550, pp. 174–198. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  13. Boissier, O., Hübner, J.F., Sichman, J.S.: Organization oriented programming: From closed to open organizations. In: O’Hare, G., Ricci, A., O’Grady, M., Dikenelli, O. (eds.) ESAW 2006. LNCS (LNAI), vol. 4457, pp. 86–105. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  14. Köhler-Bußmeier, M., Wester-Ebbinghaus, M.: A Petri net based prototype for MAS organisation middleware. In: Moldt, D. (ed.) Workshop on Modelling, object, components, and agents (MOCA 2009), University of Hamburg, Department for Computer Science, pp. 29–44 (2009)

    Google Scholar 

  15. Köhler-Bußmeier, M., Wester-Ebbinghaus, M.: Sonar: A multi-agent infrastructure for active application architectures and inter-organisational information systems. In: Braubach, L., van der Hoek, W., Petta, P., Pokahr, A. (eds.) MATES 2009. LNCS, vol. 5774, pp. 248–257. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  16. Hübner, J.F., Sichman, J.S., Boissier, O.: S-MOISE: A middleware for developing organised multi-agent systems. In: Boissier, O., Padget, J., Dignum, V., Lindemann, G., Matson, E., Ossowski, S., Sichman, J.S., Vázquez-Salceda, J. (eds.) ANIREM 2005 and OOOP 2005. LNCS (LNAI), vol. 3913, pp. 64–78. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  17. Esteva, M., Rodriguez-Aguilar, J., Rosell, B., Arcos, J.: Ameli: An agent-based middleware for electronic institutions. In: Sierra, C., Sonenberg, L., Tambe, M. (eds.) Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2004), pp. 236–243 (2004)

    Google Scholar 

  18. Pynadath, D., Tambe, M.: An automated teamwork infrastructure for heterogeneous software agents and humans. Autonomous Agents and Multi-Agent Systems 7, 71–100 (2003)

    Article  Google Scholar 

  19. Hübner, J.F., Boissier, O., Kitio, R., Ricci, A.: Instrumenting multi-agent organisations with organisational artifacts and agents. Autonomous Agents and Multi-Agent Systems 20, 369–400 (2010)

    Article  Google Scholar 

  20. Wester-Ebbinghaus, M., Köhler-Bußmeier, M., Moldt, D.: From multi-agent to multi-organization systems: Utilizing middleware approaches. In: Artikis, A., Picard, G., Vercouter, L. (eds.) ESAW 2008. LNCS, vol. 5485, pp. 46–65. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  21. Wester-Ebbinghaus, M., Moldt, D.: Structure in threes: Modelling organization-oriented software architectures built upon multi-agent systems. In: Proceedings of the 7th International Conference an Autonomous Agents and Multi-Agent Systems (AAMAS 2008), pp. 1307–1311 (2008)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department for Informatics, University of Hamburg, Vogt-Kölln-Str. 30, D-22527, Hamburg, Germany

    Michael Köhler-Bußmeier, Matthias Wester-Ebbinghaus & Daniel Moldt

Authors
  1. Michael Köhler-Bußmeier
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Matthias Wester-Ebbinghaus
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Daniel Moldt
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Bath, BA2 7AY, Bath, UK

    Marina De Vos

  2. Università della Svizzera italiana, via G. Buffi 13, 6900, Lugano, Switzerland

    Nicoletta Fornara

  3. Department of Electrical & Electronic Engineering, Imperial College London, SW7 2BT, UK

    Jeremy V. Pitt

  4. Department of Information and Communication Systems Engineering, University of the Aegean, 83200, Karlovassi, Samos, Greece

    George Vouros

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Köhler-Bußmeier, M., Wester-Ebbinghaus, M., Moldt, D. (2011). Generating Executable Multi-agent System Prototypes from SONAR Specifications. In: De Vos, M., Fornara, N., Pitt, J.V., Vouros, G. (eds) Coordination, Organizations, Institutions, and Norms in Agent Systems VI. COIN 2010. Lecture Notes in Computer Science(), vol 6541. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21268-0_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-21268-0_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-21267-3

  • Online ISBN: 978-3-642-21268-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation