A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
The algebra of connectors
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
doi:10.1145/1289927.1289935
dblp:conf/emsoft/BliudzeS07
fatcat:eb5rs5nwjvbt5nd5gcnjfo2ngy