Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Agent design patterns: elements of agent application design
AGENTS '98 Proceedings of the second international conference on Autonomous agents
On agent-based software engineering
Artificial Intelligence
Towards a fault-tolerant multi-agent system architecture
AGENTS '00 Proceedings of the fourth international conference on Autonomous agents
Reusable patterns for agent coordination
Coordination of Internet agents
Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence
Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence
Safety Critical Computer Systems
Safety Critical Computer Systems
Improving fault-tolerance by replicating agents
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Introducing Dynamic Constraints in B
B '98 Proceedings of the Second International B Conference on Recent Advances in the Development and Use of the B Method
Basic Concepts and Taxonomy of Dependable and Secure Computing
IEEE Transactions on Dependable and Secure Computing
Roadmap for enhanced languages and methods to aid verification
Proceedings of the 5th international conference on Generative programming and component engineering
The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver
IEEE Transactions on Computers
Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Pattern-driven design of agent systems: approach and case study
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
Reuse of specification patterns with the B method
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
A fault-tolerant multi-agent development framework
ISPA'04 Proceedings of the Second international conference on Parallel and Distributed Processing and Applications
Patterns for b: bridging formal and informal development
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
Time constraint patterns for event b development
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
Formal development of a washing machine controller model based on formal design patterns
WSEAS TRANSACTIONS on SYSTEMS
Formal development of a washing machine controller by using formal design patterns
CEA'09 Proceedings of the 3rd WSEAS international conference on Computer engineering and applications
Formal analysis of BPMN models using event-B
FMICS'10 Proceedings of the 15th international conference on Formal methods for industrial critical systems
Towards a predictive fault tolerance approach in multi-agent systems
KES-AMSTA'11 Proceedings of the 5th KES international conference on Agent and multi-agent systems: technologies and applications
Development of a synchronous subset of AADL
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Formal goal-oriented development of resilient MAS in event-b
Ada-Europe'12 Proceedings of the 17th Ada-Europe international conference on Reliable Software Technologies
A case study in formal development of a fault tolerant multi-robotic system
SERENE'12 Proceedings of the 4th international conference on Software Engineering for Resilient Systems
| Hi-index | 0.01 |
Interaction in a multi-agent system is susceptible to failure. A rigorous development of a multi-agent system must include the treatment of fault-tolerance of agent interactions for the agents to be able to continue to function independently. Patterns can be used to capture fault-tolerance techniques. A set of modelling patterns is presented that specify fault-tolerance in Event-B specifications of multi-agent interactions. The purpose of these patterns is to capture common modelling structures for distributed agent interaction in a form that is re-usable on other related developments. The patterns have been applied to a case study of the contract net interaction protocol.