Inproceedings2557828654: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Johannes Lehmann (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Farhad |ErsterAutorNachname=Arbab |FurtherAuthors=Christel Baier; Frank S. de Boer; Jan J. M. M. Rutten}} {{Inproceedings |Booktitle=2nd International Conference on Software Engineering and Formal Methods (SEFM) |Pages=198--207 |Publisher=IEEE Computer Society |Title=Models and Temporal Logics for Timed Component Connectors |Year=2004 }} {{Publikation Details |DOI Name=10.1109/SEFM.2004.27 |Abstr…“) |
Johannes Lehmann (Diskussion | Beiträge) K (Textersetzung - „Verifikation und formale quantitative Analyse“ durch „Algebraische und logische Grundlagen der Informatik“) |
||
| Zeile 13: | Zeile 13: | ||
|DOI Name=10.1109/SEFM.2004.27 | |DOI Name=10.1109/SEFM.2004.27 | ||
|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. | |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. | ||
|Forschungsgruppe= | |Forschungsgruppe=Algebraische und logische Grundlagen der Informatik | ||
}} | }} | ||
Aktuelle Version vom 5. März 2025, 14:43 Uhr
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}
}
