Specification, simulation, and verification of component connectors in Reo

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

Research output: Book/ReportReportAcademic

42 Downloads (Pure)

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.
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages24
Publication statusPublished - 2004

Publication series

NameComputer science reports
Volume0415
ISSN (Print)0926-4515

Fingerprint

Semantics
Specifications
Chemical analysis
Large scale systems
Engines

Cite this

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 p. (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 p. (Computer science reports; Vol. 0415).

Research output: Book/ReportReportAcademic

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 p. (Computer science reports).