Elena Troubitsyna: Formal goal-oriented development of adaptable and resilient systems

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 my talk, I will present a formalisation of basic concepts of goal-oriented multi-agent systems and their essential properties. I will focus on describing reasoning about resilience and discuss different mechanisms of enhancing system adaptability and resilience. The proposed formalisation allows us to establishing connections between goals at different levels of abstraction, system architecture and agent responsibilities. The proposed systematic treatment of the involved concepts provides the designers the guidelines for a systematic structured development of adaptive and resilient systems. In my talk, I will also discuss how by augmenting the proposed models with the stochastic information, we can quantitatively evaluate system resilience.