Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4951485 | Journal of Logical and Algebraic Methods in Programming | 2017 | 23 Pages |
â¢Port automata are formally related to data-agnostic BIP architectures.â¢Stateless constraint automata are formally related to BIP interaction models.â¢A definition and composition of data-sensitive BIP architectures is proposed.
Coordination languages simplify design and development of concurrent systems. Particularly, exogenous coordination languages, like BIP and Reo, enable system designers to express the interactions among components in a system explicitly. A formal relation between exogenous coordination languages comprises the basis for a solid comparison and consolidation of their fundamental concepts. In this paper we establish a formal relation between BI(P) (i.e., BIP without the priority layer) and Reo, by defining transformations between their semantic models. We show that these transformations preserve all properties expressible in a common semantics. We use these transformations to define data-sensitive BIP architectures and their composition.