Contract-Directed Synthesis of Simple Orchestrators

DOI10.1007/978-3-540-85361-9_13MaRDI QIDQ3541015zbMATH OpenOpenAlexFDO

Authors Luca Padovani

Publication date 25 November 2008

Published in CONCUR 2008 - Concurrency Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-85361-9_13

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Distributed systems (68M14) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Contract-based discovery of Web services modulo simple orchestrators
• Automata for Specifying and Orchestrating Service Contracts
• Automata for analysing service contracts
• An algebraic theory for web service contracts
• Algorithms and Complexity of Automata Synthesis by Asynhcronous Orchestration With Applications to Web Services Composition

Cited in

(7)

• Automata for Specifying and Orchestrating Service Contracts
• Contracts for Mobile Processes
• Monotonicity in Service Orchestrations
• An algebraic theory for web service contracts
• Synthesis of orchestrations and choreographies: bridging the gap between supervisory control and coordination of services
• Building distributed controllers for systems with priorities
• Contract-based discovery of Web services modulo simple orchestrators

This page was built for publication: Contract-Directed Synthesis of Simple Orchestrators

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