The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
Pattern-oriented software architecture: a system of patterns
Pattern-oriented software architecture: a system of patterns
Communicating sequential processes
Communications of the ACM
Refinement patterns for rapid development of dependable systems
Proceedings of the 2007 workshop on Engineering fault tolerant systems
On Developing Open Mobile Fault Tolerant Agent Systems
Software Engineering for Multi-Agent Systems V
Refinement Patterns for Fault Tolerant Systems
EDCC-7 '08 Proceedings of the 2008 Seventh European Dependable Computing Conference
A method and tool for design of multi-agent systems
SE '08 Proceedings of the IASTED International Conference on Software Engineering
Structured coordination spaces for fault tolerant mobile agents
Advanced Topics in Exception Handling Techniques
Exceptions in component interaction protocols – necessity
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
Hi-index | 0.00 |
This paper puts forward a new approach to developing resilient ambient applications. In its core is a novel rigorous development method supported by a formal theory that enables us to produce a well-structured step-wise design and to ensure disciplined integration of error recovery measures into the resulting implementation. The development method, called AgentB, uses the idea of modelling database to support a coherent development of and reasoning about several model views, including the variable, event, role, agent and protocol views. This helps system developers in separating various modelling concerns and makes it easier for future tool developers to design a toolset supporting this development. Fault tolerance is systematically introduced during the development of various model views. The approach is demonstrated through the development of several application scenarios within an ambient campus case study conducted at Newcastle University (UK) as part of the FP6 RODIN project.