Ball, Elisabeth and Butler, Michael
Using Decomposition to Model Multi-agent Interaction Protocols in Event-B
At FM'06 Doctoral Symposium, Canada.
This paper outlines a practical approach to the formal development of multi-agent systems (MAS). Rigorous design practices are needed if MAS are to be used for critical applications. Event-B is a formal method that can be used in the development of reactive systems. Decomposition is used as part of the approach to reduce the complexity of modelling MAS. The experience of modelling MAS Interaction Protocols in Event-B using a decomposition method is described. Future work is required to further model MAS.
Conference or Workshop Item
||Event Dates: August 2006
|Venue - Dates:
||FM'06 Doctoral Symposium, Canada, 2006-08-01
||Formal Methods, Multi-agent Systems, Event-B, Distributed Systems
||Electronic & Software Systems
||04 Jul 2006
||23 Feb 2017 12:54
|Further Information:||Google Scholar|
Actions (login required)