@inproceedings{8293aa59e27d4ef7984936ea88d56280,
title = "Formal semantics and analysis of component connectors in Reo",
abstract = "We present an operational semantics for a component composition language called Reo. Reo connectors exogenously compose and coordinate the interactions among individual components that comprise a complex system, into a coherent collaboration. The formal semantics we present here paves the way for a rigorous study of the behavior of component composition mechanisms. To demonstrate the feasibility of such a rigorous approach, we give a faithful translation of Reo semantics into the Maude term rewriting language. This translation allows us to exploit the rewriting engine and the model-checking module in the Maude tool-set to symbolically run and model-check the behavior of Reo connectors.",
author = "M.R. Mousavi and M. Sirjani and F. Arbab",
year = "2006",
doi = "10.1016/j.entcs.2005.12.034",
language = "English",
series = "Electronic Notes in Theoretical Computer Science",
pages = "83--99",
booktitle = "Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA'05, San Francisco CA, USA, August 27, 2005; in conjunction with CONCUR'05)",
}