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: Verifikation und formale quantitative Analyse„Verifikation und formale quantitative Analyse“ befindet sich nicht in der Liste (Computational Logic, Automatentheorie, Wissensverarbeitung, Knowledge-Based Systems, Knowledge Systems, Wissensbasierte Systeme, Logische Programmierung und Argumentation, Algebra und Diskrete Strukturen, Knowledge-aware Artificial Intelligence, Algebraische und logische Grundlagen der Informatik) zulässiger Werte für das Attribut „Forschungsgruppe“.Algebraic 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}
}