Advertisement

Formal Semantics for AUML Agent Interaction Protocol Diagrams

  • Lawrence Cabac
  • Daniel Moldt
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3382)

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

Keywords

agents agent interaction protocols AUML Capa high-level Petri nets Mulan net components operational semantics reference nets Renew 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide. Addison-Wesley, Reading (1996)Google Scholar
  2. 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. 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. 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)CrossRefGoogle Scholar
  5. 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)CrossRefGoogle Scholar
  6. 6.
    Foundation for Intelligent Physical Agents, http://www.fipa.org
  7. 7.
    FIPA. FIPA Interaction Protocol Library Specification (August 2001), http://www.fipa.org/specs/fipa00025/XC00025E.pdf
  8. 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. 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)CrossRefGoogle Scholar
  10. 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)CrossRefGoogle Scholar
  11. 11.
    Kummer, O.: Referenznetze. Dissertation, University of Hamburg, Department of Computer Science. Logos-Verlag, Berlin (2002)Google Scholar
  12. 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. 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)CrossRefGoogle Scholar
  14. 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. 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. 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 CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Lawrence Cabac
    • 1
  • Daniel Moldt
    • 1
  1. 1.Department of Computer Science, TGIUniversity of Hamburg 

Personalised recommendations