Specification and verification of multi-agent systems interaction protocols using a combination of AUML and event B

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5136 LNCS, Issue , 2008, Pages 102-107

  Jemni Ben Ayed, Leila ^a   Siala, Fatma ^a  

^a UNIVERSITY OF TUNIS   (Tunisia)

Author keywords

AUML; Event B; Multi agent system; Specification; Verification

Indexed keywords

AGENTS; COMPUTER PROGRAMMING LANGUAGES; FLOW INTERACTIONS; FORMAL LOGIC; SPECIFICATIONS; UNIFIED MODELING LANGUAGE;

AUML; EVENT B; MULTI-AGENT SYSTEM; SPECIFICATION; VERIFICATION;

COMPUTER NETWORKS;

EID: 50549095987     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-70569-7_10     Document Type: Conference Paper

References (10)

1. Abrial, J.-R.: The B book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)
2. Abrial, J.-R.: Extending B without changing it (for developing distributed systems). In: First B Conference, Putting Into Practice Methods and Tools for Information System Design, France, p. 21 (1996)
3. Bakam, I., Kordon, F., L-Page, C., Bousquet, F.: Formalization of a specialized multi-agent system using coloured petri nets for the study of a hunting management system. In: Rash, J.L., Rouff, C.A., Truszkowski, W., Gordon, D.F., Hinchey, M.G. (eds.) FAABS 2000. LNCS (LNAI), vol. 1871, pp. 123-132. Springer, Heidelberg (2001)
4. Clearsy, http://www.b4free.com/download.htm
5. Fadil, H., Koning, J.-L.: Vers une spécification formelle des protocoles d'interaction des systèmes multi-agents en B. In: 6eConfrence Francophone de MOdlisation et SIMulation; MOSI 2006, Maroc (2006)
6. Ferber, J.: Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence. Addison-wesley Professional, Reading (1999)
7. Hilaire, V., Koukam, A., Gruer, P., Muller, J.-P.: Formal specification and prototyping of multi-agent systems. ESAW000. In: Proceedings of the First International Workshop on Engineering Societies in the Agent World, London, pp. 114-127 (2000)
8. Jemni Ben Ayed, L., Hlaoui Ben Daly, Y.: Translating Graphical Conceptual Model from STATEMATE to FNLOG. In: IEEM 2007: IEEE International Conference on Industrial Engineering and Engineering Management, Singapore (2007)
9. Odell, J., Van Dyke Parunak, H., Bauer, B.: Extending UML for agents. In: Proceedings of the Agent-Oriented Information Systems Workshop at the 17th National conference on Artificial Intelligence. ICue Publishing, Texas (2000)
10. Regayeg, A., Kacem, A.-H., Jmaiel, M.: Specification and verification of multiagent applications using temporal Z. In: Intelligent Agent Technology Conference (IAT 2004), pp. 260-266. IEEE Computer Society, China (2004)