Synthesis of Reo Circuits from Scenario-based Specifications

DOI10.1016/j.entcs.2009.06.027zbMath1347.68024OpenAlexW2070004150MaRDI QIDQ5179203

Meng Sun, Farhad Arbab, Christel Baier

Publication date: 19 March 2015

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2009.06.027

zbMATH Keywords

synthesisconnectorReo circuitsUMLscenario-based specification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14) Network protocols (68M12) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Channel-based coordination via constraint satisfaction

Uses Software

• Reo

Cites Work

• Synthesis of Reo circuits from scenario-based interaction specifications
• A hierarchy of communication models for message sequence charts
• Coordination models and languages. 9th international conference, COORDINATION 2007, Paphos, Cyprus, June 6--8, 2007. Proceedings
• Symbolic model checking for channel-based component connectors
• Modeling component connectors in Reo by constraint automata
• Implied Scenario Detection in the Presence of Behaviour Constraints
• SYNTHESIZING STATE-BASED OBJECT SYSTEMS FROM LSC SPECIFICATIONS
• Supervisory control of a rapid thermal multiprocessor
• Reo: a channel-based coordination model for component composition
• Algebraic Methodology and Software Technology
• Formal Methods in Software and Systems Modeling
• Recent Trends in Algebraic Development Techniques
• LSCs: Breathing life into message sequence charts

This page was built for publication: Synthesis of Reo Circuits from Scenario-based Specifications