On the synthesis of a reactive module
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Synthesis of concurrent systems with many similar sequential processes (extended abstract)
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Synthesis of Communicating Processes from Temporal Logic Specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Specification and development of interactive systems: focus on streams, interfaces, and refinement
Specification and development of interactive systems: focus on streams, interfaces, and refinement
Introduction to Automata Theory, Languages and Computability
Introduction to Automata Theory, Languages and Computability
An Automata-Theoretic Approach to Fair Realizability and Synthesis
Proceedings of the 7th International Conference on Computer Aided Verification
Reo: a channel-based coordination model for component composition
Mathematical Structures in Computer Science
Models and Temporal Logics for Timed Component Connectors
SEFM '04 Proceedings of the Software Engineering and Formal Methods, Second International Conference
Construction of negotiation protocols for e-commerce applications
ACM SIGecom Exchanges
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
Modelling coordination in biological systems
ISoLA'04 Proceedings of the First international conference on Leveraging Applications of Formal Methods
Recasting Constraint Automata into Büchi Automata
Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
Synthesis of Connectors from Scenario-Based Interaction Specifications
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
Proceedings of the 2009 ACM symposium on Applied Computing
Synthesis of Reo Circuits from Scenario-based Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Alternating-time stream logic for multi-agent systems
Science of Computer Programming
Alternating-time stream logic for multi-agent systems
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
Synthesis of Reo circuits from scenario-based interaction specifications
Science of Computer Programming
Büchi automata for modeling component connectors
Software and Systems Modeling (SoSyM)
Synthesizing glue operators from glue constraints for the construction of component-based systems
SC'11 Proceedings of the 10th international conference on Software composition
Decomposition of constraint automata
FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
Hi-index | 0.00 |
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.