Giving Life to Agent Interactions

  • Juliana Küster Filipe
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2975)


Agent UML (AUML) is an extension of the standard object-oriented modelling language UML adapted for agent-based systems. In AUML sequence diagrams are extended to describe specific dynamic aspects of agents including dynamic role assignment, nondeterministic choice in agent decisions and concurrent communication. These diagrams are used to describe agent interaction protocols. We describe some of the problems of extended sequence diagrams in AUML. Not all of these problems are specific to agent sequence diagrams and have been previously identified in UML’s sequence diagrams and Message Sequence Charts (MSCs). Live Sequence Charts (LSCs) are a very expressive extension of MSCs that addresses many of these issues in the context of object-oriented systems. We propose an extension of LSCs for agents, and show how it is useful for modelling agent interactions, agent commitments, agent society norms and forbidden behaviour. Further, we show how to derive formulae in a simplified variant of the distributed temporal logic Mdtl from an extended LSC.


Sequence Diagram Agent Interaction English Auction Agent Role Nondeterministic Choice 
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.
    Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time Temporal Logic. In: Proceedings of the 38th Annual Symposium on Foundations of Computer Science, pp. 100–109. IEEE Computer Society Press, Los Alamitos (1997)CrossRefGoogle Scholar
  2. 2.
    Bauer, B., Müller, J., Odell, J.: Agent UML: A formalism for specifying multiagent interaction. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol. 1957, pp. 91–103. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  3. 3.
    Bauer, B., Müller, J., Odell, J.: Agent UML: A formalism for specifying multiagent software systems. International Journal of Software Engineering and Knowledge Engineering 11(3), 207–230 (2001)CrossRefGoogle Scholar
  4. 4.
    Damm, W., Harel, D.: LSCs: Breathing life into message sequence charts. Formal Methods in System Design 19(1), 45–80 (2001)zbMATHCrossRefGoogle Scholar
  5. 5.
    Depke, R., Heckel, R., Küster, J.: Roles in agent-oriented modeling. International Journal of Software Engineering and Knowledge Engineering 11(3), 281–302 (2001)CrossRefGoogle Scholar
  6. 6.
    Dignum, V., Meyer, J.-J., Dignum, F., Weigand, H.: Formal specification of interaction in agent societies. In: 2nd Goddard Workshop on Formal Approaches to Agent-Based Systems (FAABS), Maryland (October 2002)Google Scholar
  7. 7.
    Dignum, V., Meyer, J.-J., Weigand, H., Dignum, F.: An organization-oriented model for agent societies. In: Proceedings of International Workshop on Regulated Agent-Based Social Systems: Theories and Applications (RASTA 2002), at AAMAS, Bologna, Italy, July 16 (2002)Google Scholar
  8. 8.
    Ehrich, H.-D., Caleiro, C.: Specifying communication in distributed information systems. Acta Informatica 36(Fasc. 8), 591–616 (2000)zbMATHCrossRefMathSciNetGoogle Scholar
  9. 9.
    Ehrich, H.-D., Caleiro, C., Sernadas, A., Denker, G.: A Sernadas, and G. Denker. Logics for Specifying Concurrent Information Systems. In: Chomicki, J., Saake, G. (eds.) Logics for Databases and Information Systems, pp. 167–198. Kluwer Academic Publishers, Dordrecht (1998)Google Scholar
  10. 10.
    Küster Filipe, J.: Foundations of a Module Concept for Distributed Object Systems. PhD thesis, Technische Universität Braunschweig, Germany (September 2000)Google Scholar
  11. 11.
    Küster Filipe, J.: Fundamentals of a module logic for distributed object systems. Journal of Functional and Logic Programming 2000(3) (March 2000)Google Scholar
  12. 12.
    Küster Filipe, J.: A logic-based formalization for component specification. Journal of Object Technology 1(3), 231–248 (2002)CrossRefGoogle Scholar
  13. 13.
    Flake, S., Geiger, C., Küster, J.: Towards UML-based analysis and design of multi-agent systems. In: International Symposium on Information Science Innovations in Engineering of Natural and Artificial Intelligent Systems (ENAIS 2001), Dubai (March 2001)Google Scholar
  14. 14.
    FIPA (Foundation for Intelligent Physical Agents). FIPA English Auction Interaction Protocol Specification (August 2001), available from
  15. 15.
    FIPA (Foundation for Intelligent Physical Agents). FIPA Modelling: Interaction Diagrams, Working Draft. FIPA version 2003-07-02 (July 2003), available from
  16. 16.
    Harel, D., Kugler, H.: Synthesizing state-based object systems from LSC specifications. International Journal of Foundations of Computer Science 13(1), 5–51 (2002)zbMATHCrossRefMathSciNetGoogle Scholar
  17. 17.
    Harel, D., Marelly, R.: Playing with Time: On the Specification and Execution of Time-Enriched LSCs. In: 10th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems (MASCOTS 2002), Fort Worth, Texas, October 11-16, pp. 193–202 (2002)Google Scholar
  18. 18.
    Harel, D., Marelly, R.: Come, Let’s Play: Scenario-based Programming Using LSCs and the Play-Engine. Springer, Heidelberg (2003)Google Scholar
  19. 19.
    Harel, D., Marelly, R.: Specifying and executing behavioural requirements: the play-in/play-out approach. Software and System Modeling (SoSyM) 2, 82–107 (2003)CrossRefGoogle Scholar
  20. 20.
    Huget, M.-P.: Extending Agent UML Sequence Diagrams. In: Giunchiglia, F., Odell, J.J., Weiss, G. (eds.) AOSE 2002. LNCS, vol. 2585, pp. 150–161. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  21. 21.
    Klose, J., Wittke, H.: An automata-based interpretation of live sequence charts. In: Margaria, T., Yi, W. (eds.) TACAS 2001. LNCS, vol. 2031, p. 512. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  22. 22.
    Marelly, R., Harel, D., Kugler, H.: Multiple instances and symbolic variables in executable sequence charts. In: Proc. 17th Ann. AM Conf. on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2002), November 2002, pp. 83–100 (2002)Google Scholar
  23. 23.
    Moller, F., Stevens, P.: Edinburgh Concurrency Workbench user manual (version 7.1), Available from
  24. 24.
    Odell, J.: Objects and agents compared. Journal of Object Technology 1(1), 41–53 (2002)MathSciNetCrossRefGoogle Scholar
  25. 25.
    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)CrossRefGoogle Scholar
  26. 26.
    Odell, J., Van Dyke Parunak, H., Brueckner, S., Sauter, J.: Temporal aspects of dynamic role assignment. In: Giorgini, P., Müller, J.P., Odell, J.J. (eds.) AOSE 2003. LNCS, vol. 2935, pp. 201–213. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  27. 27.
    OMG. UML 2.0 OCL Specification, Version 1.6. OMG document ad/03-01-07 (August 2003), available from
  28. 28.
    OMG. UML 2.0 Superstructure Draft Adopted Specification. OMG document ptc/03-08-02(August 2003), available from
  29. 29.
    OMG. Unified Modelling Language Specification, version 1.5. OMG document formal/03-03-01(March 2003), available from
  30. 30.
    Wooldridge, M., Jennings, N.R., Kinny, D.: The Gaia methodology for agentoriented analysis and design. Journal of Autonomous Agents and Multi-Agent Systems 3(3), 285–312 (2000)CrossRefGoogle Scholar
  31. 31.
    Z.120 ITU-TS Recommendation Z.120. Message Sequence Chart (MSC). ITU-TS, Geneva (1996)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Juliana Küster Filipe
    • 1
  1. 1.Laboratory for Foundations of Computer Science, School of InformaticsThe University of EdinburghEdinburghUnited Kingdom

Personalised recommendations