Contract-Directed Synthesis of Simple Orchestrators

DOI10.1007/978-3-540-85361-9_13zbMATH Open1160.68320OpenAlexW1753977805MaRDI QIDQ3541015FDOQ3541015

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

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

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)

Cited In (6)

• An algebraic theory for web service contracts
• Contract-based discovery of Web services modulo simple orchestrators
• Building distributed controllers for systems with priorities
• Contracts for Mobile Processes
• Monotonicity in Service Orchestrations
• Automata for Specifying and Orchestrating Service Contracts

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)