Skip to Main content Skip to Navigation
Conference papers

Architecture internalisation in BIP

Abstract : 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 performance optimisation. We study architecture internalisation leading from an architecture-based system to an equivalent architecture-agnostic one, focusing, in particular, on component-based systems described in BIP. BIP uses connectors for hierarchical composition of components. We study connector internalisation in three steps. 1) We introduce and study the properties of interaction expressions, which represent the combined information about all the effects of an interaction. We show that they are a very powerful tool for specifying and analysing structured interaction. 2) We formalize the connector semantics of BIP by using interaction expressions. The formalization proves to be mathematically rigorous and concise. 3) We introduce the T/B component model and provide a semantics preserving translation of BIP into this model. The translation is compositional that is, it preserves the structure of the source models. The results are illustrated by simple examples. A Java implementation is evaluated on two case studies.
Document type :
Conference papers
Complete list of metadatas

Cited literature [18 references]  Display  Hide  Download
Contributor : Marius Bozga <>
Submitted on : Thursday, October 8, 2015 - 5:35:14 PM
Last modification on : Thursday, July 9, 2020 - 9:43:24 AM
Document(s) archivé(s) le : Saturday, January 9, 2016 - 10:37:48 AM


Files produced by the author(s)




Simon Bliudze, Joseph Sifakis, Marius Bozga, Mohamad Jaber. Architecture internalisation in BIP. 17th International ACM SIGSOFT Symposium on Component-Based Software Engineering, Jun 2014, Lille, France. pp.169-178, ⟨10.1145/2602458.2602477⟩. ⟨hal-01213681⟩



Record views


Files downloads