DMCA
The algebra of connectors -- structuring interaction in BIP (2008)
Cached
Download Links
| Citations: | 59 - 11 self |
BibTeX
@MISC{Bliudze08thealgebra,
author = {Simon Bliudze and Joseph Sifakis},
title = {The algebra of connectors -- structuring interaction in BIP},
year = {2008}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
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(P), generated from P by using a binary fusion operator and a unary typing operator. Typing associates with terms (ports or connectors) synchronization types—trigger or synchron—that determine modes of synchronization. Broadcast interactions are initiated by triggers. Rendezvous is a maximal interaction of a connector that includes 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 methods for incremental model decomposition and efficient implementation by using symbolic techniques.
Keyphrases
efficient implementation binary fusion operator equivalence relation general component model different mode maximal interaction algebra ac broadcast interaction index term real-time system architecture algebraic formalization system specification methodology typed port symbolic technique unary typing operator synchronization type trigger incremental model decomposition bip component framework
