Models and Temporal Logics for Timed Component Connectors (2004)
Cached
Download Links
- [web.informatik.uni-bonn.de]
- [www.cwi.nl]
- DBLP
Other Repositories/Bibliography
by
Farhad Arbab
,
Christel Baier
,
Frank De Boer
,
Jan Rutten
| Venue: | In Proc. SEFM’04. IEEE CS |
| Citations: | 9 - 4 self |
BibTeX
@INPROCEEDINGS{Arbab04modelsand,
author = {Farhad Arbab and Christel Baier and Frank De Boer and Jan Rutten},
title = {Models and Temporal Logics for Timed Component Connectors},
booktitle = {In Proc. SEFM’04. IEEE CS},
year = {2004},
publisher = {Press}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The coordination language Reo supports compositional system construction through connectors with real-time properties that exogenously coordinate the interactions among the constituent components into a coherent collaboration. In this paper, we present an operational semantics for the channel-based component connectors of Reo in terms of Timed Constraint Automata and introduce a temporal-logic for specification and verification of their real-time properties.
