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. © 2012 Springer-Verlag.
CITATION STYLE
Pereverzeva, I., Troubitsyna, E., & Laibinis, L. (2012). Formal goal-oriented development of resilient MAS in Event-B. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7308 LNCS, pp. 147–161). https://doi.org/10.1007/978-3-642-30598-6_11
Mendeley helps you to discover research relevant for your work.