Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > A Provably Correct Resilience ...

A Provably Correct Resilience Mediator Pattern

Mats Neovius, Mauno Rönkkö, Marina Waldén, A Provably Correct Resilience Mediator Pattern. In: Luigia Petre, Emil Sekerinski (Eds.), From Action Systems to Distributed Systems - The Refinement Approach, Computer and Information Science Series, 125–141, Taylor & Francis, 2016.

http://dx.doi.org/10.1201/b20053

Abstract:

The computational processes that manifest as systems are getting ever more complex. Interconnecting several similar autonomous systems to a system of systems is frequent, e.g. manufacturers' autonomous products are integrated to a home automation system. Traditionally, the approach for this problem has been abstraction of the details and thus, chiseling and gluing the bits and pieces together. This has been done by declaring interfaces or by using formal methods. The former declares accessibility whereas the latter may be used to gain a rigorous mathematical-logical view on the complexity and for the ability to reason on this with a set of logical rules. On top of these views, the mediator pattern is defined to provide a reusable solution for a recurring general problem. The mediator pattern encapsulates interaction between a set of autonomous systems with the intension to ease maintenance and refactoring. In this chapter, we formally integrate the mediator pattern in a correct-by-construction manner in the Action Systems formalism. The contribution is in introducing the mediator on an abstract level to a contemporary distributed system as a correctness preserving refinement step. In this setting, the mediator may then be further refined to provide an isolated placeholder for introduction of domain specific intelligent resilience addressing possible issues of inconsistency.

BibTeX entry:

@INBOOK{cNeRxWa16a,
  title = {A Provably Correct Resilience Mediator Pattern},
  booktitle = {From Action Systems to Distributed Systems - The Refinement Approach},
  author = {Neovius, Mats and Rönkkö, Mauno and Waldén, Marina},
  series = {Computer and Information Science Series},
  editor = {Petre, Luigia and Sekerinski, Emil},
  publisher = {Taylor & Francis},
  pages = {125–141},
  year = {2016},
  ISSN = {978-0-335; 978-0-415; 978-0-84},
}

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

Publication Forum rating of this publication: level 2

Edit publication