Loading...

Synthesis of Reo circuits for implementation of component-connector automata specifications

Arbab, F ; Sharif University of Technology | 2005

168 Viewed
  1. Type of Document: Article
  2. DOI: 10.1007/11417019_16
  3. Publisher: Springer Verlag , 2005
  4. Abstract:
  5. 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. © Springer-Verlag Berlin Heidelberg 2005
  6. Keywords:
  7. Algorithms ; Codes (symbols) ; Computer programming languages ; Concurrency control ; Middleware ; Constraint automaton ; Glue-code language ; Reo codes ; Run-time middleware ; Finite automata
  8. Source: 7th International Conference on Coordination Models and Languages, COORDINATION 2005, Namur, 20 April 2005 through 23 April 2005 ; Volume 3454 , 2005 , Pages 236-251 ; 03029743 (ISSN)
  9. URL: https://link.springer.com/chapter/10.1007/11417019_16