Models and temporal logical specifications 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 logical specifications for timed component connectors
Software and System Modeling, 6(1):59--82, 2007

Details
Bibtex

KurzfassungAbstract
Component-based software engineering advocates construction of software systems through composition of coordinated autonomous components. Significant benefits of this approach include software reuse, simpler and faster construction, enhanced reliability, and dramatic reductions in the complexity of construction of provably correct critical systems, many of which involve real-time concerns. Effective, flexible component composition by itself still poses a challenge today and yet the special nature of real-time constraints makes component-based construction of real-time systems even more demanding. The coordination language Reo supports compositional system construction through connectors that exogenously coordinate the interactions among the constituent components which unawarely comprise a complex system, into a coherent collaboration. The simple, yet surprisingly rich, calculus of channel composition that underlies Reo offers a flexible framework for compositional construction of coordinating component connectors with real-time properties. 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

@article{ABBR2007,
  author  = {Farhad Arbab and Christel Baier and Frank S. de Boer and Jan J. M.
             M. Rutten},
  title   = {Models and temporal logical specifications for timed component
             connectors},
  journal = {Software and System Modeling},
  volume  = {6},
  number  = {1},
  year    = {2007},
  pages   = {59--82},
  doi     = {10.1007/S10270-006-0009-9}
}