loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2009 Seventh IEEE International Conference on Software Engineering and Formal Methods
Coordinated Consensus Analysis of Multi-agent Systems Using Event-B
Hanoi, Vietnam
November 23-November 27
ISBN: 978-0-7695-3870-9
ASCII Text
x 
 
Ninh-Thuan Truong, Thanh-Binh Trinh, Viet-Ha Nguyen, "Coordinated Consensus Analysis of Multi-agent Systems Using Event-B," Software Engineering and Formal Methods, IEEE International Conference on, pp. 201-209, 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009.
 
 
BibTex
x
 
@article{ 10.1109/SEFM.2009.24,
author = {Ninh-Thuan Truong and Thanh-Binh Trinh and Viet-Ha Nguyen},
title = {Coordinated Consensus Analysis of Multi-agent Systems Using Event-B},
journal ={Software Engineering and Formal Methods, IEEE International Conference on},
volume = {0},
year = {2009},
isbn = {978-0-7695-3870-9},
pages = {201-209},
doi = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2009.24},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Software Engineering and Formal Methods, IEEE International Conference on
TI - Coordinated Consensus Analysis of Multi-agent Systems Using Event-B
SN - 978-0-7695-3870-9
SP201
EP209
A1 - Ninh-Thuan Truong,
A1 - Thanh-Binh Trinh,
A1 - Viet-Ha Nguyen,
PY - 2009
KW - Multi-agent system
KW - Event-B
KW - Consensus Analysis
KW - Composition
VL - 0
JA - Software Engineering and Formal Methods, IEEE International Conference on
ER -
 
Formal specifications and reasoning techniques in software modelling are needed to ensure the correctness of the system at the design phase. Event-B is a formal method with support tools that allows the stepwise development of reactive systems. Such systems include multi-agent systems as a subclass. In this paper, we propose an approach to specify capabilities of a number of software agents. We then verify whether these capabilities help the agents to accomplish a certain task using a supported tool for Event-B. We use the binary numeral system as a case study to illustrate our approach.
Index Terms:
Multi-agent system, Event-B, Consensus Analysis, Composition
Citation:
Ninh-Thuan Truong, Thanh-Binh Trinh, Viet-Ha Nguyen, "Coordinated Consensus Analysis of Multi-agent Systems Using Event-B," sefm, pp.201-209, 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009
Usage of this product signifies your acceptance of the Terms of Use.