Enhancing UML to formalize the FIPA agent interaction protocol

Lecture Notes in Business Information Processing

Volumn 25 LNBIP, Issue , 2009, Pages 154-173

  Haugen, Oystein ^a,b   Runde, Ragnhild Kobro ^b  

^a SINTEF   (Norway)

^b UNIVERSITY OF OSLO   (Norway)

Author keywords

Contract Net Interaction Protocol; Multicast; Sequence diagram; STAIRS; UML modeling

Indexed keywords

FORMAL METHODS; MULTI AGENT SYSTEMS; SEMANTICS; STAIRS;

AGENT INTERACTION PROTOCOLS; AGENT UML; CONTRACT NET INTERACTION PROTOCOL; CONTRACT NETS; FORMAL SEMANTICS; INTER-ACTION PROTOCOLS; MULTICAST; MULTICAST MESSAGES; SEQUENCE DIAGRAM; SEQUENCE DIAGRAMS; UML MODELING;

MULTICASTING;

EID: 67249109630     PISSN: 18651348     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-642-01668-4_9     Document Type: Conference Paper

References (20)

1. Foundation for Intelligent Pysical Agents: FIPA Contract Net Interaction Protocol Speci?cation (2002)
2. OMG: Uni?ed Modeling Language 2.1 (2006)
3. Odell, J., Parunak, H.V.D., Bauer, B.: Extending UML for agents. In: AOIS Work-shop at AAAI 2000 (2000)
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)
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 Arti?caial Intelligence 18, 141-157 (2005)
6. Haugen, Ø., Stølen, K.: STAIRS - Steps to analyze interactions with re?nement semantics. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol. 2863, pp. 388-402. Springer, Heidelberg (2003)
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)
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)
9. Haugen, Ø., Møller-Pedersen, B.: Con?gurations by UML. In: Gruhn, V., Oquendo, F. (eds.) EWSA 2006. LNCS, vol. 4344, pp. 98-112. Springer, Heidelberg (2006)
10. Runde, R.K.: STAIRS - Understanding and Developing Speci?cations Expressed as UML Interaction Diagrams. Ph.D thesis, University of Oslo (2007)
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)
12. Fallah-Seghrouchni, A.E., Haddad, S., Mazouzi, H.: A formal study of interactions in multi-agent systems. I. J. Comput. Appl. 8 (2001)
13. Ayed, L.J.B., Siala, F.: Speci?cation and veri?cation 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)
14. Walton, C.: Agency and the SemanticWeb. Oxford University Press, Oxford (2006)
15. Poslad, S.: Specifying protocols for multi-agent systems interaction. TAAS 2 (2007)
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)
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)
18. Whittle, J.: Precise speci?cation of use case scenarios. In: Dwyer, M.B., Lopes, A. (eds.) FASE 2007. LNCS, vol. 4422, pp. 170-184. Springer, Heidelberg (2007)
19. Dahle, H.P.: Model-driven development o?ers high level approach (2007), http://www.itea2.org/public/project-leaflets/MOSIS-profile-oct-07.pdf
20. Broy, M., Stølen, K.: Speci?cation and Development of Interactive Systems: Focus on Streams, Interfaces, and Re?nement. Springer, Heidelberg (2001)