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

• Type: Journal
• Year: 2008
• Where: TC
• Authors: Simon Bliudze, Joseph Sifakis
• Keywords: Binary Fusion Operator, Information Technology, Ports, TC 2008, Unary Typing Operator