Tech Reports

ULCS-02-020

Generating Code for Agent UML Sequence Diagrams

Marc-Philippe Huget


Abstract

For several years, a new category of description techniques exists: Agent UML which is based on UML. Agent UML is an extension of UML to tackle differences between agents and objects. Since this description technique is rather new, it does not supply tools or algorithms for protocol synthesis. Protocol synthesis corresponds to generate code for a formal description of a protocol. The derived program behaves like the formal description. This work presents first elements to help designers generating code for Agent UML sequence diagrams. The protocol synthesis is applied to the example of English Auction protocol.

Keywords: Multiagent Systems, Agent UML, Interaction Protocols, Sequence Diagrams, Protocol Synthesis.

[Full Paper]