Using Decomposition to Model Multi-agent Interaction Protocols in Event-B


Ball, Elisabeth and Butler, Michael (2006) Using Decomposition to Model Multi-agent Interaction Protocols in Event-B At FM'06 Doctoral Symposium, Canada.

Download

[img] PDF ejb04r_FMO6.pdf - Other
Download (56kB)

Description/Abstract

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.

Item Type: Conference or Workshop Item (Paper)
Additional Information: Event Dates: August 2006
Venue - Dates: FM'06 Doctoral Symposium, Canada, 2006-08-01
Keywords: Formal Methods, Multi-agent Systems, Event-B, Distributed Systems
Organisations: Electronic & Software Systems
ePrint ID: 262784
Date :
Date Event
2006Published
Date Deposited: 04 Jul 2006
Last Modified: 23 Feb 2017 12:54
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/262784

Actions (login required)

View Item View Item