The Community for Technology Leaders
Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) (2004)
Beijing, China
Sept. 28, 2004 to Sept. 30, 2004
ISBN: 0-7695-2222-X
pp: 198-207
Farhad Arbab , Centrum voor Wiskunde en Informatica, Amsterdam, The Netherlands; Universiteit Leiden, The Netherlands
Christel Baier , Universit?t Bonn, Germany
Frank de Boer , Centrum voor Wiskunde en Informatica, Amsterdam, The Netherlands; Universiteit Leiden, The Netherlands
Jan Rutten , Centrum voor Wiskunde en Informatica, Amsterdam, The Netherlands; Vrije Universiteit Amsterdam, The Netherlands
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.
INDEX TERMS
null
CITATION

F. Arbab, C. Baier, J. Rutten and F. d. Boer, "Models and Temporal Logics for Timed Component Connectors," Proceedings of the Second International Conference on Software Engineering and Formal Methods(SEFM), Beijing, China, 2004, pp. 198-207.
doi:10.1109/SEFM.2004.10016
81 ms
(Ver 3.3 (11022016))