Skip to main content
SpringerLink
Log in

Giving Life to Agent Interactions

  • Conference paper
Objects, Agents, and Features

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2975))

  • 139 Accesses

Abstract

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.

Work reported here was supported by the EPSRC grant GR/R16891.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Article  Google Scholar 

  4. Damm, W., Harel, D.: LSCs: Breathing life into message sequence charts. Formal Methods in System Design 19(1), 45–80 (2001)

    Article  MATH  Google Scholar 

  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)

    Article  Google Scholar 

  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. 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. Ehrich, H.-D., Caleiro, C.: Specifying communication in distributed information systems. Acta Informatica 36(Fasc. 8), 591–616 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  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. 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. 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. Küster Filipe, J.: A logic-based formalization for component specification. Journal of Object Technology 1(3), 231–248 (2002)

    Article  Google Scholar 

  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. FIPA (Foundation for Intelligent Physical Agents). FIPA English Auction Interaction Protocol Specification (August 2001), available from www.fipa.org

  15. FIPA (Foundation for Intelligent Physical Agents). FIPA Modelling: Interaction Diagrams, Working Draft. FIPA version 2003-07-02 (July 2003), available from www.fipa.org

  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)

    Article  MATH  MathSciNet  Google Scholar 

  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. Harel, D., Marelly, R.: Come, Let’s Play: Scenario-based Programming Using LSCs and the Play-Engine. Springer, Heidelberg (2003)

    Google Scholar 

  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)

    Article  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. Moller, F., Stevens, P.: Edinburgh Concurrency Workbench user manual (version 7.1), Available from http://www.dcs.ed.ac.uk/home/cwb/

  24. Odell, J.: Objects and agents compared. Journal of Object Technology 1(1), 41–53 (2002)

    Article  MathSciNet  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  27. OMG. UML 2.0 OCL Specification, Version 1.6. OMG document ad/03-01-07 (August 2003), available from www.um.org

  28. OMG. UML 2.0 Superstructure Draft Adopted Specification. OMG document ptc/03-08-02(August 2003), available from www.uml.org

  29. OMG. Unified Modelling Language Specification, version 1.5. OMG document formal/03-03-01(March 2003), available from www.uml.org

  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)

    Article  Google Scholar 

  31. Z.120 ITU-TS Recommendation Z.120. Message Sequence Chart (MSC). ITU-TS, Geneva (1996)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Laboratory for Foundations of Computer Science, School of Informatics, The University of Edinburgh, King’s Buildings, Edinburgh, EH9 3JZ, United Kingdom

    Juliana Küster Filipe

Authors
  1. Juliana Küster Filipe
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Computer Science, University of Birmingham, B15 2TT, UK

    Mark D. Ryan

  2. Utrecht University, P.O. Box 80.089, 3508 TB, Utrecht, The Netherlands

    John-Jules Ch. Meyer

  3. Dept. of Information Systems, TU Braunschweig, Germany

    Hans-Dieter Ehrich

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Küster Filipe, J. (2004). Giving Life to Agent Interactions. In: Ryan, M.D., Meyer, JJ.C., Ehrich, HD. (eds) Objects, Agents, and Features. Lecture Notes in Computer Science, vol 2975. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25930-5_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-25930-5_7

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-21989-7

  • Online ISBN: 978-3-540-25930-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation