Synthesis of orchestrations and choreographies: bridging the gap between supervisory control and coordination of services
From MaRDI portal
(Redirected from Publication:5114827)
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
(7)- scientific article; zbMATH DE number 7215288 (Why is no real title available?)
- Composition of synchronous communicating systems
- Offline supervisory control synthesis: taxonomy and recent developments
- Advancing orchestration synthesis for contract automata
- Formal analysis of the contract automata runtime environment with \textsc{Uppaal}: modelling, verification and testing
- Research Challenges in Orchestration Synthesis
- On Composing Communicating Systems
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)
