A Language for Exchanging Agent UML Protocol Diagrams
For several years, interaction protocol designers have had a new formalism which takes into account multiagent system features: autonomy, cooperation, etc. This formalism is called Agent UML. For the moment, designers can describe protocols with the Agent UML protocol diagrams but they do not have a textual language in order to exchange protocols or to check properties on them. The aim of this paper is to provide such a language. This language is called AXF (Agent UML eXchange Format) and is structured as an XML file. This paper presents the syntax of this language and applies AXF to the example of the English Auction Protocol.
Keywords: Multiagent Systems, Interaction Protocols, Formal Description Techniques, Agent UML[Full Paper]
For each technical report listed here, copyright and all intellectual property rights remain with the respective authors. Copyright is effective from the year of publication in each case. By downloading a file from this page, you agree to use it only for purposes of research and scholarship. Any other use of this material or storage of it in any medium or its sale or distribution in any form is expressly forbidden without prior written permission from the authors concerned.