Inproceedings994458792

PublikationenPublications

• Nach AutorBy Author
  • Christel BaierChristel Baier
• Nach ForschungsgruppeBy Research Group
  • Algebraische und logische Grundlagen der InformatikAlgebraic and Logical Foundations of Computer Science

Toggle side column

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

Farhad ArbabFarhad Arbab,  Christel BaierChristel Baier,  Frank S. de BoerFrank S. de Boer,  Jan J. M. M. RuttenJan J. M. M. Rutten,  Marjan SirjaniMarjan Sirjani

• DOI Link

Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten, Marjan Sirjani
Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications
Proc. of the 7th International Conference on Coordination Models and Languages (COORD), volume 3454 of Lecture Notes in Computer Science, 236--251, 2005. Springer

• Details
• Bibtex

• KurzfassungAbstract
  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.
• Forschungsgruppe:Research Group: Algebraische und logische Grundlagen der InformatikAlgebraic and Logical Foundations of Computer Science

The final publication is available at Springer via http://dx.doi.org/10.1007/11417019_16.

@inproceedings{ABBRS2005,
  author    = {Farhad Arbab and Christel Baier and Frank S. de Boer and Jan J.
               M. M. Rutten and Marjan Sirjani},
  title     = {Synthesis of Reo Circuits for Implementation of
               Component-Connector Automata Specifications},
  booktitle = {Proc. of the 7th International Conference on Coordination Models
               and Languages (COORD)},
  series    = {Lecture Notes in Computer Science},
  volume    = {3454},
  publisher = {Springer},
  year      = {2005},
  pages     = {236--251},
  doi       = {10.1007/11417019_16}
}