Synthesis of orchestrations and choreographies: bridging the gap between supervisory control and coordination of services

MaRDI QIDQ5114827zbMATH OpenFDO

Authors Maurice H. ter Beek, D. Basile, Rosario Pugliese

Publication date 26 June 2020

Full work available at URL https://arxiv.org/abs/1910.00849, https://lmcs.episciences.org/6527

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Recommendations

• A controller synthesis framework for automated service composition
• Contract-Directed Synthesis of Simple Orchestrators
• From orchestration to choreography through contract automata
• Supervisory control synthesis of discrete-event systems using a coordination scheme
• Relating two automata-based models of orchestration and choreography

Cites work

• scientific article; zbMATH DE number 4110131 (Why is no real title available?)
• scientific article; zbMATH DE number 7215288 (Why is no real title available?)
• 30 years of modal transition systems: survey of extensions and analysis
• A theory of contracts for web services
• A theory of timed automata
• An algebraic theory for web service contracts
• An overview of the mCRL2 toolset and its recent advances
• Application of supervisory control theory to theme park vehicles
• Automata for Specifying and Orchestrating Service Contracts
• Behavioural contracts with request-response operations
• CONCUR 2005 – Concurrency Theory
• Compliance in behavioural contracts: a brief survey
• Family-based model checking with mCRL2
• From communicating machines to graphical choreographies
• Introduction to Discrete Event Systems
• Modal I/O Automata for Interface and Product Line Theories
• Modal specifications for the control theory of discrete event systems
• Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints
• Multiparty asynchronous session types
• On global types and multi-party sessions
• Relating two automata-based models of orchestration and choreography
• Session types for safe web service orchestration
• Software Product Line Engineering
• Supervisory Control of a Class of Discrete Event Processes
• Timed I/O automata: a complete specification theory for real-time systems

Cited in

(5)

• scientific article; zbMATH DE number 7215288 (Why is no real title available?)
• Composition of synchronous communicating systems
• Advancing orchestration synthesis for contract automata
• Research Challenges in Orchestration Synthesis
• On Composing Communicating Systems

Describes a project that uses

Uses Software

• mCRL2

This page was built for publication: Synthesis of orchestrations and choreographies: bridging the gap between supervisory control and coordination of services

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5114827)