Generating Machine Processable Representations of Textual Representations of AUML

  • Jean-Luc Koning 
  • Ivan Romero-Hernandez
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2585)


Odell et al have proposed an agent modeling language (AUML), which extends some UML artifacts to cope with the special requirements of multiagent systems, especially interaction. In this paper, we introduce a textual notation for the AUML modeling specification and show how one could translate it in order to generate both an extended finite state machine and a specification that can be directly processed by a model-checker.


Multiagent System Composition Operator Sequence Diagram Interaction Protocol Output Symbol 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Wooldridge, M., Jennings, N.R., Kinny, D.: The gaia methodology for agentoriented analysis and design. Journal of Autonomous Agents and Multi-Agent Systems 3 (2000) 285–312CrossRefGoogle Scholar
  2. 3.
    Bauer, B., Muller, J., Odell, J.: Agent UML: A formalism for specifying multiagent interaction. In Ciancarini, Wooldridge, eds.: International journal of software engineering and knowledge engineering. Volume 11. Springer, Berlin (2001) 91–103Google Scholar
  3. 4.
    Odell, J., Van Dyke Parunak, H., Bauer, B.: Extending UML for agents. InWagner, G., Lesperance, Y., Yu, E., eds.: Agent-Oriented Information Systems Workshop, Austin, Texas, ICue Publishing (2000)Google Scholar
  4. 5.
    Holzmann, G.J.: Design and Validation of Computer Protocols. Prentice-Hall (1991)Google Scholar
  5. 6.
    Rodríguez, J.A., Noriega, P., Sierra, C., Padget, J.: Fm96.5 a java-based electronic auction house. On Line Publication (1997) main reference for Fish Market.Google Scholar
  6. 7.
    Odell, J., Van Dyke Parunak, H., Bauer, B.: Representing agent interaction protocols in uml. In Ciancarini, P., Wooldridge, M., eds.: Proceedings of First International Workshop on Agent-Oriented Software Engineering, Limerick, Ireland, Springer-Verlag (2000)Google Scholar
  7. 8.
    Wei, J., Cheung, S.C., Wang, X.: Towards a methodology for formal design and analysis of agent interaction protocols: An investigation in electronic commerce. In: International Software Engineering Symposium (ISES-2001), Wuhan. (2001)Google Scholar
  8. 9.
    Holzmann, G.J.: The model checker SPIN. IEEE Transactions on Software Engineering 23 (1997) 279–295CrossRefGoogle Scholar
  9. 10.
    ITU-TS: ITU-TS Recommendation Z.120: Message Sequence Chart 1996 (MSC96). Technical report, ITU-TS, Geneva (1996)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Jean-Luc Koning 
    • 1
  • Ivan Romero-Hernandez
    • 1
  1. 1.CoSy-InpgValence cedex 9France

Personalised recommendations