Specification, simulation, and verification of component connectors in Reo

M.R. Mousavi, M. Sirjani, F. Arbab

Onderzoeksoutput: Boek/rapportRapportAcademic

Uittreksel

Coordination and composition of components is an essential concern in component-based software engineering. In this paper, we present an operational semantics for a component composition language called Reo. Reo connectors exogenously compose and coordinate the interactions among individual components, that unawarely comprise a complex system, into a coherent collaboration. The formal semantics we present here paves the way for studying the behavior of component composition mechanisms rigorously. 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 modelchecking module in the Maude tool-set to symbolically run and model-check the behavior of Reo connectors.
TaalEngels
Plaats van productieEindhoven
UitgeverijTechnische Universiteit Eindhoven
Aantal pagina's24
StatusGepubliceerd - 2004

Publicatie series

NaamComputer science reports
Volume0415
ISSN van geprinte versie0926-4515

Vingerafdruk

Semantics
Specifications
Chemical analysis
Large scale systems
Engines

Citeer dit

Mousavi, M. R., Sirjani, M., & Arbab, F. (2004). Specification, simulation, and verification of component connectors in Reo. (Computer science reports; Vol. 0415). Eindhoven: Technische Universiteit Eindhoven.
Mousavi, M.R. ; Sirjani, M. ; Arbab, F./ Specification, simulation, and verification of component connectors in Reo. Eindhoven : Technische Universiteit Eindhoven, 2004. 24 blz. (Computer science reports).
@book{e329d892a35744609a098422ca405181,
title = "Specification, simulation, and verification of component connectors in Reo",
abstract = "Coordination and composition of components is an essential concern in component-based software engineering. In this paper, we present an operational semantics for a component composition language called Reo. Reo connectors exogenously compose and coordinate the interactions among individual components, that unawarely comprise a complex system, into a coherent collaboration. The formal semantics we present here paves the way for studying the behavior of component composition mechanisms rigorously. 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 modelchecking 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 = "2004",
language = "English",
series = "Computer science reports",
publisher = "Technische Universiteit Eindhoven",

}

Mousavi, MR, Sirjani, M & Arbab, F 2004, Specification, simulation, and verification of component connectors in Reo. Computer science reports, vol. 0415, Technische Universiteit Eindhoven, Eindhoven.

Specification, simulation, and verification of component connectors in Reo. / Mousavi, M.R.; Sirjani, M.; Arbab, F.

Eindhoven : Technische Universiteit Eindhoven, 2004. 24 blz. (Computer science reports; Vol. 0415).

Onderzoeksoutput: Boek/rapportRapportAcademic

TY - BOOK

T1 - Specification, simulation, and verification of component connectors in Reo

AU - Mousavi,M.R.

AU - Sirjani,M.

AU - Arbab,F.

PY - 2004

Y1 - 2004

N2 - Coordination and composition of components is an essential concern in component-based software engineering. In this paper, we present an operational semantics for a component composition language called Reo. Reo connectors exogenously compose and coordinate the interactions among individual components, that unawarely comprise a complex system, into a coherent collaboration. The formal semantics we present here paves the way for studying the behavior of component composition mechanisms rigorously. 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 modelchecking module in the Maude tool-set to symbolically run and model-check the behavior of Reo connectors.

AB - Coordination and composition of components is an essential concern in component-based software engineering. In this paper, we present an operational semantics for a component composition language called Reo. Reo connectors exogenously compose and coordinate the interactions among individual components, that unawarely comprise a complex system, into a coherent collaboration. The formal semantics we present here paves the way for studying the behavior of component composition mechanisms rigorously. 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 modelchecking module in the Maude tool-set to symbolically run and model-check the behavior of Reo connectors.

M3 - Report

T3 - Computer science reports

BT - Specification, simulation, and verification of component connectors in Reo

PB - Technische Universiteit Eindhoven

CY - Eindhoven

ER -

Mousavi MR, Sirjani M, Arbab F. Specification, simulation, and verification of component connectors in Reo. Eindhoven: Technische Universiteit Eindhoven, 2004. 24 blz. (Computer science reports).