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
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide. Addison-Wesley, Reading (1996)
Cabac, L.: Entwicklung von geometrisch unterscheidbaren Komponenten zur Vereinheitlichung von Mulan-Protokollen. Studienarbeit, University of Hamburg, Department of Computer Science (2002)
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)
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)
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)
Foundation for Intelligent Physical Agents, http://www.fipa.org
FIPA. FIPA Interaction Protocol Library Specification (August 2001), http://www.fipa.org/specs/fipa00025/XC00025E.pdf
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)
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)
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)
Kummer, O.: Referenznetze. Dissertation, University of Hamburg, Department of Computer Science. Logos-Verlag, Berlin (2002)
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
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)
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
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
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
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)