Rules for Translating Interaction Protocols into a B Formal Representation

Authors:
Hind FADIL;Jean-Luc KONING
Affiliations:
Technological University of Grenoble - COSY 50 rue Laffemas, BP, Valence cedex 9, France;Technological University of Grenoble - COSY 50 rue Laffemas, BP, Valence cedex 9, France
Venue:
IAT '05 Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology
Year:
2005

Citing 0
Cited 1

Testing and Debugging of MAS Interactions with INGENIAS

Agent-Oriented Software Engineering IX

Quantified Score

Hi-index	0.00

Visualization

Abstract

Interaction in multiagent systems is generally tackled by means of interaction protocols that define the messaging patterns between the systemýs communicating entities. It is thus of an utmost importance to follow a strict methodology for specifying, designing and formally checking the interaction protocol. In this paper, we deal with this latter issue. For this reason we make use of the B method which is a formal language that enables to translate a semi-formal specification of a protocol into a formal one. More precisely, we focus our attention on the process of generically checking and proving interaction protocols.