International Conference on Coordination Languages and Models

COORDINATION 2005: Coordination Models and Languages pp 236-251

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

  • Farhad Arbab
  • Christel Baier
  • Frank de Boer
  • Jan Rutten
  • Marjan Sirjani
Conference paper

DOI: 10.1007/11417019_16

Volume 3454 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Arbab F., Baier C., de Boer F., Rutten J., Sirjani M. (2005) Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications. In: Jacquet JM., Picco G.P. (eds) Coordination Models and Languages. COORDINATION 2005. Lecture Notes in Computer Science, vol 3454. Springer, Berlin, Heidelberg

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