Models and Temporal Logics for Timed Component Connectors

From International Center for Computational Logic

Toggle side column

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