Synthesis of Reo Connectors for Strategies and Controllers
Research output: Contribution to journal › Conference article › Contributed › peer-review
Contributors
Abstract
In controller synthesis, i.e., the question whether there is a controller or strategy to achieve some objective in a given system, the controller is often realized as some kind of automaton. In the context of the exogenous coordination language Reo, where the coordination glue code between the components is realized as a network of channels, it is desirable for such synthesized controllers to also take the form of a Reo connector built from a repertoire of basic channels. In this paper, we address the automatic construction of such Reo connectors directly from a constraint automaton representation.
Details
Original language | English |
---|---|
Pages (from-to) | 1-20 |
Number of pages | 20 |
Journal | Fundamenta Informaticae |
Volume | 130 |
Issue number | 1 |
Publication status | Published - 2014 |
Peer-reviewed | Yes |
Workshop
Title | 4th International Workshops on Logics, Agents, and Mobil |
---|---|
Abbreviated title | LAM'11 |
Duration | 10 September 2011 |
Degree of recognition | International event |
Location | RWTH Aachen |
City | Aachen |
Country | Germany |
External IDs
Scopus | 84894601388 |
---|---|
ORCID | /0000-0002-5321-9343/work/142236734 |
ORCID | /0000-0003-1724-2586/work/165453599 |
Keywords
Keywords
- reo connectors, strategies, controllers