Title :
Models and temporal logics for timed component connectors
Author :
Arbab, Farhad ; Baier, Christel ; De Boer, Frank ; Rutten, Jan
Author_Institution :
Dept. of Software Eng., Centrum voor Wiskunde en Inf., Amsterdam, 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.
Keywords :
automata theory; formal specification; program verification; programming language semantics; real-time systems; temporal logic; Reo coordination language; channel-based component connectors; compositional system construction; constituent components; operational semantics; real-time property specification; real-time property verification; temporal logic; timed component connectors; timed constraint automata; Automata; Calculus; Circuits; Collaborative software; Connectors; Logic; Power system modeling; Real time systems; Scheduling; Software engineering;
Conference_Titel :
Software Engineering and Formal Methods, 2004. SEFM 2004. Proceedings of the Second International Conference on
Print_ISBN :
0-7695-2222-X
DOI :
10.1109/SEFM.2004.1347521
