Synthesis of Reo Connectors for Strategies and Controllers

Publikation: Beitrag in FachzeitschriftKonferenzartikelBeigetragenBegutachtung

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

OriginalspracheEnglisch
Seiten (von - bis)1-20
Seitenumfang20
FachzeitschriftFundamenta Informaticae
Jahrgang130
Ausgabenummer1
PublikationsstatusVeröffentlicht - 2014
Peer-Review-StatusJa

Workshop

Titel4th International Workshops on Logics, Agents, and Mobil
KurztitelLAM'11
Dauer10 September 2011
BekanntheitsgradInternationale Veranstaltung
OrtRWTH Aachen
StadtAachen
LandDeutschland

Externe IDs

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

Schlagworte

Schlagwörter

  • reo connectors, strategies, controllers