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

DOI Link

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

Details
Bibtex

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}
}