loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2005 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'05)
Rules for Translating Interaction Protocols into a B Formal Representation
Compi?gne University of Technology, France
September 19-September 22
ISBN: 0-7695-2416-8
ASCII Text
x 
 
Hind FADIL, Jean-Luc KONING, "Rules for Translating Interaction Protocols into a B Formal Representation," Intelligent Agent Technology, IEEE / WIC / ACM International Conference on, pp. 495-498, 2005 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'05), 2005.
 
 
BibTex
x
 
@article{ 10.1109/IAT.2005.124,
author = {Hind FADIL and Jean-Luc KONING},
title = {Rules for Translating Interaction Protocols into a B Formal Representation},
journal ={Intelligent Agent Technology, IEEE / WIC / ACM International Conference on},
volume = {0},
year = {2005},
isbn = {0-7695-2416-8},
pages = {495-498},
doi = {http://doi.ieeecomputersociety.org/10.1109/IAT.2005.124},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Intelligent Agent Technology, IEEE / WIC / ACM International Conference on
TI - Rules for Translating Interaction Protocols into a B Formal Representation
SN - 0-7695-2416-8
SP495
EP498
A1 - Hind FADIL,
A1 - Jean-Luc KONING,
PY - 2005
KW - null
VL - 0
JA - Intelligent Agent Technology, IEEE / WIC / ACM International Conference on
ER -
 
Hind FADIL, Technological University of Grenoble - COSY 50 rue Laffemas, BP, Valence cedex 9, France
Jean-Luc KONING, Technological University of Grenoble - COSY 50 rue Laffemas, BP, Valence cedex 9, France

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.

Citation:
Hind FADIL, Jean-Luc KONING, "Rules for Translating Interaction Protocols into a B Formal Representation," iat, pp.495-498, 2005 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.