Event-B Specification of a Situated Multi-Agent System: Study of a Platoon of Vehicles

摘要：

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.

作者: Arnaud Lanoix

作者单位: LORIA, DEDALE Team-Campus scientifique F-54506 Vandoeuvre-Les-Nancy, France

会议类型: 国际会议

会议名称: 第二届IFIP/IEEE软件工程理论基础国际研讨会(TASE 2008)(Second IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering)

会议地点: 南京

会议语种:英文

页码: 297-304

在线出版日期: 2008-06-17（万方平台首次上网日期，不代表论文的发表时间）