Synthesis of orchestrations and choreographies: bridging the gap between supervisory control and coordination of services
From MaRDI portal
Publication:5114827
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
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
- A theory of timed automata
- Relating two automata-based models of orchestration and choreography
- From communicating machines to graphical choreographies
- Multiparty asynchronous session types
- Introduction to Discrete Event Systems
- An algebraic theory for web service contracts
- Supervisory Control of a Class of Discrete Event Processes
- Title not available (Why is that?)
- A theory of contracts for web services
- Software Product Line Engineering
- CONCUR 2005 – Concurrency Theory
- Modal specifications for the control theory of discrete event systems
- An overview of the mCRL2 toolset and its recent advances
- Modal I/O Automata for Interface and Product Line Theories
- On global types and multi-party sessions
- Compliance in behavioural contracts: a brief survey
- Application of supervisory control theory to theme park vehicles
- Timed I/O automata: a complete specification theory for real-time systems
- Behavioural contracts with request-response operations
- 30 years of modal transition systems: survey of extensions and analysis
- Automata for Specifying and Orchestrating Service Contracts
- Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints
- Session types for safe web service orchestration
- Family-based model checking with mCRL2
- Title not available (Why is that?)
Cited In (5)
Uses Software
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)