The invariant refinement method

Tomáš Bureš; Ilias Gerostathopoulos; Petr Hnetynka; Jaroslav Keznikl; Michal Kit; Frantisek Plasil

The invariant refinement method

Tomáš Bureš, Ilias Gerostathopoulos, Petr Hnetynka, Jaroslav Keznikl, Michal Kit, Frantisek Plasil

Research output: Contribution to Journal › Article › Academic › peer-review

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.

Original language	English
Pages (from-to)	405-428
Number of pages	24
Journal	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	8998
Publication status	Published - 1 Jan 2015
Externally published	Yes

Keywords

Dependability
Self-adaptivity
System design

Persistent URL (handle)

Copy link address

Cite this

@article{aac7e6d426894d53b38df013baaf30b5,

title = "The invariant refinement method",

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.",

keywords = "Dependability, Self-adaptivity, System design",

author = "Tom{\'a}{\v s} Bure{\v s} and Ilias Gerostathopoulos and Petr Hnetynka and Jaroslav Keznikl and Michal Kit and Frantisek Plasil",

year = "2015",

month = jan,

day = "1",

language = "English",

volume = "8998",

pages = "405--428",

journal = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

issn = "0302-9743",

publisher = "Springer Verlag",

}

TY - JOUR

T1 - The invariant refinement method

AU - Bureš, Tomáš

AU - Gerostathopoulos, Ilias

AU - Hnetynka, Petr

AU - Keznikl, Jaroslav

AU - Kit, Michal

AU - Plasil, Frantisek

PY - 2015/1/1

Y1 - 2015/1/1

N2 - 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.

AB - 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.

KW - Dependability

KW - Self-adaptivity

KW - System design

UR - http://www.scopus.com/inward/record.url?scp=84924402246&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84924402246&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:84924402246

SN - 0302-9743

VL - 8998

SP - 405

EP - 428

JO - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

JF - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ER -

The invariant refinement method

Abstract

Keywords

Persistent URL (handle)

Other files and links

Fingerprint

Cite this