Architecture internalisation in BIP

  title={Architecture internalisation in BIP},
  author={Simon Bliudze and Joseph Sifakis and Marius Bozga and Mohamad Jaber},
We consider two approaches for building component-based systems, which we call respectively architecture-based and architecture-agnostic. The former consists in describing coordination constraints in a purely declarative manner through parametrizable glue operators; it provides higher abstraction level and, consequently, stronger correctness by construction. The latter uses simple fixed coordination primitives, which are spread across component behaviour; it is more error-prone, but allows… CONTINUE READING


Publications referenced by this paper.
Showing 1-5 of 5 references

Composing features and resolving interactions

View 4 Excerpts
Highly Influenced

Argos: an automaton-based synchronous language

Comput. Lang. • 2001
View 5 Excerpts
Highly Influenced

Statecharts: A Visual Formalism for Complex Systems

Sci. Comput. Program. • 1987
View 4 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…