Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications

  • Farhad Arbab
  • Christel Baier
  • Frank de Boer
  • Jan Rutten
  • Marjan Sirjani
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3454)

Abstract

Composition of a concurrent system out of components involves coordination of their mutual interactions. In component-based construction, this coordination becomes the responsibility of the glue-code language and its underlying run-time middle-ware. Reo offers an expressive glue-language for construction of coordinating component connectors out of primitive channels. In this paper we consider the problem of synthesizing Reo coordination code from a specification of a behavior as a relation on scheduled-data streams. The specification is given as a constraint automaton that describes the desired input/output behavior at the ports of the components. The main contribution in this paper is an algorithm that generates Reo code from a given constraint automaton.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Farhad Arbab
    • 1
    • 3
  • Christel Baier
    • 2
  • Frank de Boer
    • 1
    • 3
  • Jan Rutten
    • 1
    • 4
  • Marjan Sirjani
    • 5
  1. 1.CWIAmsterdamThe Netherlands
  2. 2.Institut für Informatik IUniversität BonnGermany
  3. 3.Universiteit LeidenThe Netherlands
  4. 4.Vrije UniversiteitAmsterdamThe Netherlands
  5. 5.Sharif University of TechnologyTehranIran

Personalised recommendations