Modeling Component Connectors in Reo by Constraint Automata (Extended Abstract) (2004)
Cached
Download Links
- [web.informatik.uni-bonn.de]
- [web.informatik.uni-bonn.de]
- [www.liacs.nl]
- [www.cwi.nl]
- DBLP
Other Repositories/Bibliography
by
Farhad Arbab
,
Christel Baier
,
Jan Rutten
,
Marjan Sirjani
| Citations: | 46 - 22 self |
BibTeX
@MISC{Arbab04modelingcomponent,
author = {Farhad Arbab and Christel Baier and Jan Rutten and Marjan Sirjani},
title = {Modeling Component Connectors in Reo by Constraint Automata (Extended Abstract)},
year = {2004}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Reo is an exogenous coordination language for compositional construction of component connectors based on a calculus of channels. Building automated tools to address such concerns as equivalence or containment of the behavior of two given connectors, verification of the behavior of a connector, etc. requires an operational semantic model suitable for model checking. In this paper we introduce constraint automata and propose them as a semantic model for Reo.
