Book chapter

Title:
The Invariant Refinement Method
Authors:
Tomáš Bureš, Ilias Gerostathopoulos, Petr Hnětynka, Jaroslav Keznikl, Michal Kit, František Plášil
Publication:
Software Engineering for Collective Autonomic Systems: The ASCENS Approach
Year:
2015
ISBN:
978-3-319-16310-9
Link:

Abstract:
The chapter describes IRM, a method that guides the design of smart-cyber physical systems that are built according to the autonomic service-component paradigm. IRM is a requirements-oriented design method that focuses on distributed collaboration. It relies on the invariant concept to model both high-level system goals and low-level software obligations. In IRM, high-level invariants are iteratively decomposed into more specific sub-invariants up to the level that they can be operationalized by autonomous components and component collaborations (ensembles). We present the main concepts behind the method, as well the main decomposition patterns that back up the design process, and illustrate them in the ASCENS e-mobility case study.

BibTeX:
@incollection{bures_invariant_2015,
    title = {{The Invariant Refinement Method}},
    author = {Bureš, Tomáš and Gerostathopoulos, Ilias and Hnetynka, Petr and Keznikl, Jaroslav and Kit, Michal and Plasil, Frantisek},
    year = {2015},
    booktitle = {{Software Engineering for Collective Autonomic Systems: The ASCENS Approach}},
    editor = {Wirsing, Martin and Hölzl, Matthias and Koch, Nora and Mayer, Philip},
    publisher = {Springer International Publishing},
    location = {Cham},
    doi = {10.1007/978-3-319-16310-9_12},
    isbn = {978-3-319-16310-9},
    pages = {405--428},
    url = {https://doi.org/10.1007/978-3-319-16310-9_12},
}