Dokter, KasperJongmans, Sung-ShikArbab, FarhadBliudze, Simon2015-11-032015-11-032015-11-03201710.1016/j.jlamp.2016.09.008https://infoscience.epfl.ch/handle/20.500.14299/120385WOS:000390497700006Coordination 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.CoordinationFormal translationsCorrectness proofsBIPReotext::journal::journal article::research article