Synthesis of Reo circuits from scenario-based interaction specifications

DOI10.1016/j.scico.2010.03.002zbMath1237.68064MaRDI QIDQ541679

Farhad Arbab, Sun Meng, Christel Baier

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

synthesis; connector; Reo circuits; coalgebraic approach; exogenous models; scenario-based specifications; UML sequence diagrams

Mathematics Subject Classification ID

68N15: Theory of programming languages

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

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

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

Related Items

Synthesis of Reo Circuits from Scenario-based Specifications, Data optimizations for constraint automata

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