The algebra of connectors

Simon Bliudze, Joseph Sifakis
2007 Proceedings of the 7th ACM & IEEE international conference on Embedded software - EMSOFT '07  
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a componentbased system. A connector relates a set of typed ports. Types are used to describe dierent 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 n-ary fusion operator and a unary typing operator. Typing associates with terms (ports or connectors) synchronisation
more » ... s trigger or synchron , which 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 ecient implementation by using symbolic techniques.
doi:10.1145/1289927.1289935 dblp:conf/emsoft/BliudzeS07 fatcat:eb5rs5nwjvbt5nd5gcnjfo2ngy