Formal goal-oriented development of resilient MAS in event-b

Authors:
Inna Pereverzeva;Elena Troubitsyna;Linas Laibinis
Affiliations:
Turku Centre for Computer Science, Finland,Åbo Akademi University, Turku, Finland;Åbo Akademi University, Turku, Finland;Åbo Akademi University, Turku, Finland
Venue:
Ada-Europe'12 Proceedings of the 17th Ada-Europe international conference on Reliable Software Technologies
Year:
2012

Citing 7
Cited 0

The B-book: assigning programs to meanings

The B-book: assigning programs to meanings
Mobile UNITY: reasoning and specification in mobile computing

ACM Transactions on Software Engineering and Methodology (TOSEM)
Goal-Oriented Requirements Engineering: A Guided Tour

RE '01 Proceedings of the Fifth IEEE International Symposium on Requirements Engineering
Deriving Tabular Event-Based Specifications from Goal-Oriented Requirements Models

RE '03 Proceedings of the 11th IEEE International Conference on Requirements Engineering
Modeling adaptive behaviors in Context UNITY

Theoretical Computer Science
Event-B Patterns for Specifying Fault-Tolerance in Multi-agent Interaction

Methods, Models and Tools for Fault Tolerance
A Goal-Based Approach to Guide the Design of an Abstract Event-B Specification

ICECCS '11 Proceedings of the 2011 16th IEEE International Conference on Engineering of Complex Computer Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Goal-Oriented Development facilitates structuring complex requirements. To ensure resilience the designers should guarantee that the system achieves its goals despite changes, e.g., caused by failures of system components. In this paper we propose a formal goal-oriented approach to development of resilient MAS. We formalize the notion of goal and goal achievement in Event-B and propose the specification and refinement patterns that allow us to guarantee that the targeted goals are reached despite agent failures. We illustrate our approach by a case study --- development of an autonomous multi-robotic system.