Skip to Main content Skip to Navigation
Conference papers

The Algebra of Connectors — Structuring Interaction in BIP

Abstract : We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types are used to describe different modes of synchronisation: rendezvous and broadcast, in particular. Connectors on a set of ports P are modelled as terms of the algebra AC(P), generated from P by using an binary fusion operator and a unary typing operator. Typing associates with terms (ports or connectors) synchronisation types -- trigger or synchron -- that determine modes of synchronisation. Broadcast interactions are initiated by triggers. Rendezvous is a maximal interaction of a connector including only synchrons. The semantics of AC(P) associates with a connector the set of its interactions. It induces on connectors an equivalence relation which is not a congruence as it is not stable for fusion. We provide a number of properties of AC(P) used to symbolically simplify and handle connectors. We provide examples illustrating applications of AC(P), including a general component model encompassing synchrony, methods for incremental model decomposition, and efficient implementation by using symbolic techniques.
Document type :
Conference papers
Complete list of metadatas
Contributor : Simon Bliudze <>
Submitted on : Wednesday, May 28, 2008 - 5:03:08 PM
Last modification on : Thursday, July 9, 2020 - 9:43:16 AM
Document(s) archivé(s) le : Friday, May 28, 2010 - 8:31:39 PM




Simon Bliudze, Joseph Sifakis. The Algebra of Connectors — Structuring Interaction in BIP. International Conference On Embedded Software (EMSOFT), Oct 2007, Salzbourg, Austria. pp.11-20, ⟨10.1145/1289927.1289935⟩. ⟨hal-00282866⟩



Record views


Files downloads