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
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Foundation for Intelligent Pysical Agents: FIPA Contract Net Interaction Protocol Specification (2002)
OMG: Unified Modeling Language 2.1 (2006)
Odell, J., Parunak, H.V.D., Bauer, B.: Extending UML for agents. In: AOIS Workshop at AAAI 2000 (2000)
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)
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)
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)
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)
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)
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)
Runde, R.K.: STAIRS — Understanding and Developing Specifications Expressed as UML Interaction Diagrams. Ph.D thesis, University of Oslo (2007)
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)
Fallah-Seghrouchni, A.E., Haddad, S., Mazouzi, H.: A formal study of interactions in multi-agent systems. I. J. Comput. Appl. 8 (2001)
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)
Walton, C.: Agency and the Semantic Web. Oxford University Press, Oxford (2006)
Poslad, S.: Specifying protocols for multi-agent systems interaction. TAAS 2 (2007)
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)
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)
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)
Dahle, H.P.: Model-driven development offers high level approach (2007), http://www.itea2.org/public/project_leaflets/MOSIS_profile_oct-07.pdf
Broy, M., Stølen, K.: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer, Heidelberg (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)