Design of ensemble-based component systems by invariant refinement
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F13%3A10144122" target="_blank" >RIV/00216208:11320/13:10144122 - isvavai.cz</a>
Výsledek na webu
<a href="http://dl.acm.org/citation.cfm?doid=2465449.2465457" target="_blank" >http://dl.acm.org/citation.cfm?doid=2465449.2465457</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1145/2465449.2465457" target="_blank" >10.1145/2465449.2465457</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Design of ensemble-based component systems by invariant refinement
Popis výsledku v původním jazyce
The challenge of developing dynamically-evolving resilient distributed systems that are composed of autonomous components has been partially addressed by introducing the concept of component ensembles. Nevertheless, systematic design of complex ensemble-based systems is still a pressing issue. This stems from the fact that contemporary design methods do not scale in terms of the number and complexity of ensembles and components, and do not efficiently cope with the dynamism involved. To address this issue, we present a novel method - Invariant Refinement Method (IRM) - for designing ensemble-based component systems by building on goal-based requirements elaboration, while integrating component architecture design and software control system design.
Název v anglickém jazyce
Design of ensemble-based component systems by invariant refinement
Popis výsledku anglicky
The challenge of developing dynamically-evolving resilient distributed systems that are composed of autonomous components has been partially addressed by introducing the concept of component ensembles. Nevertheless, systematic design of complex ensemble-based systems is still a pressing issue. This stems from the fact that contemporary design methods do not scale in terms of the number and complexity of ensembles and components, and do not efficiently cope with the dynamism involved. To address this issue, we present a novel method - Invariant Refinement Method (IRM) - for designing ensemble-based component systems by building on goal-based requirements elaboration, while integrating component architecture design and software control system design.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
IN - Informatika
OECD FORD obor
—
Návaznosti výsledku
Projekt
Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach
Ostatní
Rok uplatnění
2013
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 statě ve sborníku
Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering
ISBN
978-1-4503-2122-8
ISSN
—
e-ISSN
—
Počet stran výsledku
10
Strana od-do
91-100
Název nakladatele
ACM
Místo vydání
New York, NY, USA
Místo konání akce
Vancouver, BC, Canada
Datum konání akce
17. 6. 2013
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—