Truong, Ninh Thuan and Trinh, Thanh Binh and Nguyen, Viet Ha (2009) Coordinated Consensus Analysis of Multi-agent Systems Using Event-B. In: Seventh IEEE International Conference on Software Engineering and Formal Methods, 23-27 November 2009, Hanoi, Vietnam.
Full text not available from this repository.Abstract
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.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Subjects: | Information Technology (IT) |
| Divisions: | Faculty of Information Technology (FIT) |
| Depositing User: | Viet Ha Nguyen |
| Date Deposited: | 14 Jun 2016 08:57 |
| Last Modified: | 14 Jun 2016 08:57 |
| URI: | http://eprints.uet.vnu.edu.vn/eprints/id/eprint/1778 |
Actions (login required)
 |
View Item |
