Models and Temporal Logics for Timed Component Connectors
From International Center for Computational Logic
Models and Temporal Logics for Timed Component Connectors
Farhad ArbabFarhad Arbab, Christel BaierChristel Baier, Frank S. de BoerFrank S. de Boer, Jan J. M. M. RuttenJan J. M. M. Rutten
Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten
Models and Temporal Logics for Timed Component Connectors
2nd International Conference on Software Engineering and Formal Methods (SEFM), 198--207, 2004. IEEE Computer Society
Models and Temporal Logics for Timed Component Connectors
2nd International Conference on Software Engineering and Formal Methods (SEFM), 198--207, 2004. IEEE Computer Society
- KurzfassungAbstract
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. - Forschungsgruppe:Research Group: Algebraische und logische Grundlagen der InformatikAlgebraic and Logical Foundations of Computer Science
@inproceedings{ABBR2004,
author = {Farhad Arbab and Christel Baier and Frank S. de Boer and Jan J.
M. M. Rutten},
title = {Models and Temporal Logics for Timed Component Connectors},
booktitle = {2nd International Conference on Software Engineering and Formal
Methods (SEFM)},
publisher = {IEEE Computer Society},
year = {2004},
pages = {198--207},
doi = {10.1109/SEFM.2004.27}
}