Synthesis of Reo Circuits from Scenario-based Specifications

DOI10.1016/j.entcs.2009.06.027zbMath1347.68024MaRDI 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

synthesis; connector; Reo circuits; UML; scenario-based specification

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

68M14: Distributed systems

68M12: Network protocols

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Related Items

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