Modeling Dynamic Architectures Using Dy-BIP

  title={Modeling Dynamic Architectures Using Dy-BIP},
  author={Marius Bozga and Mohamad Jaber and Nikolaos Maris and Joseph Sifakis},
  booktitle={Software Composition},
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… CONTINUE READING
32 Extracted Citations
15 Extracted References
Similar Papers

Citing Papers

Publications influenced by this paper.

Similar Papers

Loading similar papers…