Tech Reports
ULCS-02-020
Generating Code for Agent UML Sequence Diagrams
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]
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.
Maintained by webmaster@csc.liv.ac.uk