2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering Event-B Specification of a Situated Multi-Agent System: Study of a Platoon of Vehicles June 17-June 19 ISBN: 978-0-7695-3249-3
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TASE.2008.39
Situated Multi-Agents Systems (MAS), and other Agent-based systems, are often complex. Formal reasoning is needed to ensure their correctness and structure their development. Event-B is a formal method with tool support allowing a stepwise development of reactive distributed systems. We propose using Event-B to helpful the specification and the safe development of situated MAS. In this article, we mainly report our experience with the Event-B stepwise development of a situated MAS which study the movement of vehicles in a convoy. This article also aims at serving as a guide for the development of other MAS, taking agents-specific features into account.
Index Terms:
Multi-agents systems, Event-B, Specification, Verification, Platooning
Citation:
Arnaud Lanoix, "Event-B Specification of a Situated Multi-Agent System: Study of a Platoon of Vehicles," tase, pp.297-304, 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, 2008 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb