Software & Systems Modeling

, Volume 6, Issue 1, pp 59–82

Models and temporal logical specifications for timed component connectors

  • Farhad Arbab
  • Christel Baier
  • Frank de Boer
  • Jan Rutten
Special Section Paper

Abstract

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.

Keywords

Coordination Real-time Composition Reo Constraint automata Timed automata Linear temporal logic Timed data streams 

1998 ACM Computing Classsification

C.2.4 D.1.3 D.2.4 D.2.6 D.2.11 D.2.13 D.3.2 D.3.3 F.1.2 F.3.1 F.3.2 F.3.3 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 2006

Authors and Affiliations

  • Farhad Arbab
    • 1
    • 3
  • Christel Baier
    • 2
  • Frank de Boer
    • 1
    • 3
  • Jan Rutten
    • 4
  1. 1.Department of Software EngineeringCentrum voor Wiskunde en InformaticaAmsterdamThe Netherlands
  2. 2.Institut für Informatik IUniversität BonnBonnGermany
  3. 3.Universiteit LeidenLeidenThe Netherlands
  4. 4.Vrije Universiteit AmsterdamAmsterdamThe Netherlands

Personalised recommendations