Modelling dynamic architectures using Dy-BIP

Dynamic architectures in which interactions between components can evolve during execution, are essential for modern computing systems such as web-based systems, reconfigurable middleware, wireless sensor networks and fault-tolerant systems. Currently, we lack rigorous frameworks for their modeling, development and implementation. We propose Dy-BIP a dynamic extension of the BIP component framework rooted in rigorous operational semantics and supporting a powerful and high-level set of primitives for describing dynamic interactions. These are expressed as symbolic constraints offered by interacting components and computed efficiently by an execution Engine. We present experimental results which validate the effectiveness of Dy-BIP and show significant advantages over using static architecture models.


Published in:
Lecture Notes in Computer Science, 7306, 1-16
Year:
2012
Publisher:
Springer Verlag
ISSN:
0302-9743
Keywords:
Note:
"Adesso Best Paper" Award at the International Conference on Software Composition 2012
Laboratories:




 Record created 2012-10-28, last modified 2018-03-17

n/a:
Download fulltext
PDF

Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)