Synthesis of Reo circuits from scenario-based interaction specifications

DOI10.1016/J.SCICO.2010.03.002zbMath1237.68064OpenAlexW2069718203MaRDI QIDQ541679

Christel Baier, Sun Meng, Farhad Arbab

Publication date: 7 June 2011

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2010.03.002

zbMATH Keywords

synthesisconnectorReo circuitscoalgebraic approachexogenous modelsscenario-based specificationsUML sequence diagrams

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

Data optimizations for constraint automata ⋮ Synthesis of Reo Circuits from Scenario-based Specifications ⋮ Probabilistic mediator: a coalgebraic perspective

Uses Software

• Reo

Cites Work

• Unnamed Item
• Modelling concurrent interactions
• Universal coalgebra: A theory of systems
• 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
• Connector Rewriting with High-Level Replacement Systems
• 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 interaction specifications