Skip to main content
Springer Nature Link
Log in

Formal Semantics for AUML Agent Interaction Protocol Diagrams

  • Conference paper
Agent-Oriented Software Engineering V (AOSE 2004)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 3382))

Included in the following conference series:

Abstract

In this paper we introduce an approach for defining semantics for AUML agent interaction protocol diagrams using Petri net code structures. This approach is based on the usage of net components which provide basic tasks and the structure for Petri nets. Agent interaction protocol diagrams are used to model agent conversations on an abstract level. By mapping elements of the diagrams to net components we are able to translate the diagrams into Petri nets, i.e to generate code structures from the drawings. We provide tool support for this approach by combining a tool for net components with a tool for drawing agent interaction protocol diagrams. This combined tool is available as a plug-in for Renew (Reference Net Workshop).

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide. Addison-Wesley, Reading (1996)

    Google Scholar 

  2. Cabac, L.: Entwicklung von geometrisch unterscheidbaren Komponenten zur Vereinheitlichung von Mulan-Protokollen. Studienarbeit, University of Hamburg, Department of Computer Science (2002)

    Google Scholar 

  3. Cabac, L.: Modeling Agent Interaction with AUML Diagrams and Petri Nets. Diploma thesis, University of Hamburg, Department of Computer Science, Vogt-Kölln Str. 30, 22527 Hamburg, Germany (2003)

    Google Scholar 

  4. Cabac, L., Moldt, D., Rölke, H.: A proposal for structuring Petri net-based agent interaction protocols. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 102–120. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  5. Duvigneau, M., Moldt, D., Rölke, H.: Concurrent architecture for a multi-agent platform. In: Giunchiglia, F., Odell, J.J., Weiss, G. (eds.) AOSE 2002. LNCS, vol. 2585, pp. 59–72. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  6. Foundation for Intelligent Physical Agents, http://www.fipa.org

  7. FIPA. FIPA Interaction Protocol Library Specification (August 2001), http://www.fipa.org/specs/fipa00025/XC00025E.pdf

  8. Huget, M.-P., Odell, J.: Representing agent interaction protocols with agent UML. In: Odell, J., Ciorgini, P., Müller, J.P. (eds.) Proceedings of the Workshop on Agent-Oriented Software Engineering at the Conference on Autonomous Agents & Multi Agent Systems (AAMAS 2004), New York (2004) (also in this collection)

    Google Scholar 

  9. Köhler, M., Moldt, D., Rölke, H.: Modeling the structure and 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 

  10. Koning, J.-L., Huget, M.-P., Wei, J., Wang, X.: Extended modeling languages for interaction protocol design. In: Wooldridge, M.J., Weiß, G., Ciancarini, P. (eds.) AOSE 2001. LNCS, vol. 2222, pp. 68–76. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  11. Kummer, O.: Referenznetze. Dissertation, University of Hamburg, Department of Computer Science. Logos-Verlag, Berlin (2002)

    Google Scholar 

  12. Kummer, O., Wienberg, F., Duvigneau, M.: Renew - The Reference Net Workshop. In: Tool Demonstrations - 22nd International Conference on Application and Theory of Petri Nets (2001), http://www.renew.de

  13. 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 

  14. Odell, J., Huget, M.-P.: FIPA Modeling: Interaction Diagrams. Working draft, Foundation for Intelligent Physical Agents (July 2003), http://www.auml.org/auml/documents/ID-03-07-02.pdf

  15. Odell, J., Van Dyke Parunak, H., Bauer, B.: Extending UML for agents. In: Wagner, G., Lesperance, Y., Yu, E. (eds.) Proc. of the Agent-Oriented Information Systems Workshop at the 17th National conference on Artificial Intelligence, pp. 3–17 (2000), http://www.jamesodell.com/ExtendingUML.pdf

  16. Odell, J., Van Dyke Parunak, H., Bauer, B.: Representing agent interaction protocols in UML. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol. 1957, pp. 121–140. Springer, Heidelberg (2001), http://www.auml.org/auml/supplements/Odell-AOSE2000.pdf

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, TGI, University of Hamburg,  

    Lawrence Cabac & Daniel Moldt

Authors
  1. Lawrence Cabac
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Daniel Moldt
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. James Odell Associates, 3646 West Huron River Drive, P.O. Box, 48103-9489, Ann Arbor, MI, USA

    James Odell

  2. DISI, University of Trento, 38100, Povo, Trento, Italy

    Paolo Giorgini

  3. Department of Informatics, Clausthal University of Technology, Julius-Albert-Str. 4, D-38678, Clausthal-Zellerfeld, Germany

    Jörg P. Müller

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Cabac, L., Moldt, D. (2005). Formal Semantics for AUML Agent Interaction Protocol Diagrams. In: Odell, J., Giorgini, P., Müller, J.P. (eds) Agent-Oriented Software Engineering V. AOSE 2004. Lecture Notes in Computer Science, vol 3382. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30578-1_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-30578-1_4

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-24286-4

  • Online ISBN: 978-3-540-30578-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics