Skip to main content
SpringerLink
Log in

Enhancing UML to Formalize the FIPA Agent Interaction Protocol

  • Conference paper
Agent-Based Technologies and Applications for Enterprise Interoperability (ATOP 2005, ATOP 2008)

Part of the book series: Lecture Notes in Business Information Processing ((LNBIP,volume 25))

  • 243 Accesses

Abstract

The FIPA Contract Net Interaction Protocol cannot be described properly with UML 2.1 Sequence Diagrams. The ability to multicast messages is an important feature that is lacking. We show how minor enhancements of UML will make it more suited to express agent protocols. We also explain why the earlier enhancements proposed by the Agent UML are not quite satisfactory. We show how the protocol exceptions can be defined. Finally a formal semantics is given to the enhancements.

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. Foundation for Intelligent Pysical Agents: FIPA Contract Net Interaction Protocol Specification (2002)

    Google Scholar 

  2. OMG: Unified Modeling Language 2.1 (2006)

    Google Scholar 

  3. Odell, J., Parunak, H.V.D., Bauer, B.: Extending UML for agents. In: AOIS Workshop at AAAI 2000 (2000)

    Google Scholar 

  4. 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 

  5. Bauer, B., Odell, J.: UML 2.0 and agents: how to build agent-based systems with the new UML standard. Journal of Engineering Applications of Artificaial Intelligence 18, 141–157 (2005)

    Article  Google Scholar 

  6. Haugen, Ø., Stølen, K.: STAIRS — Steps to analyze interactions with refinement semantics. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol. 2863, pp. 388–402. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  7. Haugen, Ø., Husa, K.E., Runde, R.K., Stølen, K.: STAIRS towards formal design with sequence diagrams. Journal of Software and Systems Modeling 4, 349–458 (2005)

    Google Scholar 

  8. Runde, R.K., Haugen, Ø., Stølen, K.: The pragmatics of STAIRS. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2005. LNCS, vol. 4111, pp. 88–114. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  9. Haugen, Ø., Møller-Pedersen, B.: Configurations by UML. In: Gruhn, V., Oquendo, F. (eds.) EWSA 2006. LNCS, vol. 4344, pp. 98–112. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  10. Runde, R.K.: STAIRS — Understanding and Developing Specifications Expressed as UML Interaction Diagrams. Ph.D thesis, University of Oslo (2007)

    Google Scholar 

  11. Haugen, Ø., Husa, K.E., Runde, R.K., Stølen, K.: Why timed sequence diagrams require three-event semantics. In: Leue, S., Systä, T.J. (eds.) Scenarios: Models, Transformations and Tools. LNCS, vol. 3466, pp. 1–25. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  12. Fallah-Seghrouchni, A.E., Haddad, S., Mazouzi, H.: A formal study of interactions in multi-agent systems. I. J. Comput. Appl. 8 (2001)

    Google Scholar 

  13. Ayed, L.J.B., Siala, F.: Specification and verification of multi-agent systems interaction protocols using a combination of AUML and event B. In: Graham, T.C.N., Palanque, P. (eds.) DSV-IS 2008. LNCS, vol. 5136, pp. 102–107. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  14. Walton, C.: Agency and the Semantic Web. Oxford University Press, Oxford (2006)

    Google Scholar 

  15. Poslad, S.: Specifying protocols for multi-agent systems interaction. TAAS 2 (2007)

    Google Scholar 

  16. Hélouët, L.: Distributed system requirement modeling with message sequence charts: the case of the RMTP2 protocol. Information & Software Technology 45, 701–714 (2003)

    Article  Google Scholar 

  17. Gherbi, A., Khendek, F.: Distributed real-time behavioral requirements modeling using extended UML/SPT. In: Gotzhein, R., Reed, R. (eds.) SAM 2006. LNCS, vol. 4320, pp. 34–48. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  18. Whittle, J.: Precise specification of use case scenarios. In: Dwyer, M.B., Lopes, A. (eds.) FASE 2007. LNCS, vol. 4422, pp. 170–184. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  19. Dahle, H.P.: Model-driven development offers high level approach (2007), http://www.itea2.org/public/project_leaflets/MOSIS_profile_oct-07.pdf

  20. Broy, M., Stølen, K.: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer, Heidelberg (2001)

    Book  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. SINTEF, Oslo, Norway

    Øystein Haugen

  2. Department of Informatics, University of Oslo, Oslo, Norway

    Øystein Haugen & Ragnhild Kobro Runde

Authors
  1. Øystein Haugen
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ragnhild Kobro Runde
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. DFKI GmbH Saarbrücken, Stuhlsatzenhausweg 3, 66123, Germany

    Klaus Fischer

  2. Institut für Informatik, Technische Universität Clausthal, Julius-Albert-Str. 4, 38678, Clausthal-Zellerfeld, Germany

    Jörg P. Müller

  3. Oslo Software, Inc., 3723 Haven Avenue, CA 94025, Menlo Park, USA

    James Odell

  4. SINTEF ICT, Foskningsveien 1, 0314, Oslo, Norway

    Arne Jørgen Berre

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Haugen, Ø., Runde, R.K. (2009). Enhancing UML to Formalize the FIPA Agent Interaction Protocol. In: Fischer, K., Müller, J.P., Odell, J., Berre, A.J. (eds) Agent-Based Technologies and Applications for Enterprise Interoperability. ATOP ATOP 2005 2008. Lecture Notes in Business Information Processing, vol 25. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-01668-4_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-01668-4_9

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-01667-7

  • Online ISBN: 978-3-642-01668-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation