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

fYear

2004

Firstpage

198

Lastpage

207

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering and Formal Methods, 2004. SEFM 2004. Proceedings of the Second International Conference on

Print_ISBN

0-7695-2222-X

Type

conf

DOI

10.1109/SEFM.2004.1347521

Filename

1347521