Sciweavers

TC
2008

The Algebra of Connectors - Structuring Interaction in BIP

13 years 3 months ago
The Algebra of Connectors - Structuring Interaction in BIP
We provide an algebraic formalization of connectors in the BIP component framework. A connector relates a set of typed ports. Types are used to describe different modes of synchronization, in particular, rendezvous and broadcast. Connectors on a set of ports P are modeled as terms of the algebra AC
Simon Bliudze, Joseph Sifakis
Added 15 Dec 2010
Updated 15 Dec 2010
Type Journal
Year 2008
Where TC
Authors Simon Bliudze, Joseph Sifakis
Comments (0)