TY - GEN
T1 - Design of ensemble-based component systems by invariant refinement
AU - Keznikl, Jaroslav
AU - Bures, Tomas
AU - Plasil, Frantisek
AU - Gerostathopoulos, Ilias
AU - Hnetynka, Petr
AU - Hoch, Nicklas
PY - 2013/7/29
Y1 - 2013/7/29
N2 - 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.
AB - 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.
KW - Component
KW - Ensemble
KW - Refinement
KW - Requirements engineering
KW - System design
UR - http://www.scopus.com/inward/record.url?scp=84880528213&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84880528213&partnerID=8YFLogxK
U2 - 10.1145/2465449.2465457
DO - 10.1145/2465449.2465457
M3 - Conference contribution
AN - SCOPUS:84880528213
SN - 9781450321228
T3 - CBSE 2013 - Proceedings of the 16th ACM SIGSOFT Symposium on Component Based Software Engineering
SP - 91
EP - 100
BT - CBSE 2013 - Proceedings of the 16th ACM SIGSOFT Symposium on Component Based Software Engineering
T2 - 16th ACM SIGSOFT Symposium on Component Based Software Engineering, CBSE 2013
Y2 - 17 June 2013 through 21 June 2013
ER -