• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Formal Goal-Oriented Development of Resilient MAS in Event-B

Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis, Formal Goal-Oriented Development of Resilient MAS in Event-B. In: Mats Brorsson, Luís Miguel Pinho (Eds.), 17th International Conference on Reliable Software Technologies (Ada-Europe 2012) , Lecture Notes in Computer Science 7308, 147–161, Springer, Heidelberg, 2012.

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.

BibTeX entry:

@INPROCEEDINGS{inpPeTrLa12b,
  title = {Formal Goal-Oriented Development of Resilient MAS in Event-B},
  booktitle = {17th International Conference on Reliable Software Technologies (Ada-Europe 2012) },
  author = {Pereverzeva, Inna and Troubitsyna, Elena and Laibinis, Linas},
  volume = {7308},
  series = {Lecture Notes in Computer Science},
  editor = {Brorsson, Mats and Pinho, Luís Miguel},
  publisher = {Springer, Heidelberg},
  pages = {147–161},
  year = {2012},
  keywords = {Event-B, formal modelling, refinement, goal-oriented development, multi-agent system},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Publication Forum rating of this publication: level 1

Edit publication