Event-B Patterns for Specifying Fault-Tolerance in Multi-Agent Interaction
Ball, Elisabeth and Butler, Michael (2007) Event-B Patterns for Specifying Fault-Tolerance in Multi-Agent Interaction At Methods, Models and Tools for Fault Tolerance, United Kingdom.
Interaction in a multi-agent system is susceptible to failure. A rigorous development of a multi-agent system must include the specification of fault-tolerance in agent interactions for the agents to be able to continue to function independently. Patterns are presented for the specification in Event-B of fault tolerance in multi-agent interactions.
|Item Type:||Conference or Workshop Item (Paper)|
|Additional Information:||Event Dates: 3rd July 2007|
|Venue - Dates:||Methods, Models and Tools for Fault Tolerance, United Kingdom, 2007-07-03
|Organisations:||Electronic & Software Systems|
|Date Deposited:||04 Jul 2007|
|Last Modified:||17 Apr 2017 19:40|
|Further Information:||Google Scholar|
|RDF:||RDF+N-Triples, RDF+N3, RDF+XML, Browse.|
Actions (login required)