The Invariant Refinement Method

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F15%3A10317128" target="_blank" >RIV/00216208:11320/15:10317128 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.1007/978-3-319-16310-9_12" target="_blank" >http://dx.doi.org/10.1007/978-3-319-16310-9_12</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-319-16310-9_12" target="_blank" >10.1007/978-3-319-16310-9_12</a>

Result language
angličtina
Original language name
The Invariant Refinement Method
Original language description
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.
Czech name
—
Czech description
—

Project
<a href="/en/project/7E12045" target="_blank" >7E12045: Autonomic Service-Component Ensembles</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year
2015
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)