Synthesis of Reo Connectors for Strategies and Controllers

Research output: Contribution to journalConference articleContributedpeer-review

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 languageEnglish
Pages (from-to)1-20
Number of pages20
JournalFundamenta Informaticae
Volume130
Issue number1
Publication statusPublished - 2014
Peer-reviewedYes

Workshop

Title4th International Workshops on Logics, Agents, and Mobil
Abbreviated titleLAM'11
Duration10 September 2011
Degree of recognitionInternational event
LocationRWTH Aachen
CityAachen
CountryGermany

External IDs

Scopus 84894601388
ORCID /0000-0002-5321-9343/work/142236734

Keywords

Keywords

  • reo connectors, strategies, controllers