The Invariant Refinement Method
Identifikátory výsledku
Kód výsledku v 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>
Výsledek na webu
<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>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
The Invariant Refinement Method
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
The Invariant Refinement Method
Popis výsledku anglicky
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.
Klasifikace
Druh
C - Kapitola v odborné knize
CEP obor
JC - Počítačový hardware a software
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/7E12045" target="_blank" >7E12045: Autonomic Service-Component Ensembles</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Ostatní
Rok uplatnění
2015
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název knihy nebo sborníku
Software Engineering for Collective Autonomic Systems
ISBN
978-3-319-16309-3
Počet stran výsledku
24
Strana od-do
405-428
Počet stran knihy
535
Název nakladatele
Springer
Místo vydání
Neuveden
Kód UT WoS kapitoly
—