Contract-based discovery of Web services modulo simple orchestrators

DOI10.1016/J.TCS.2010.05.002MaRDI QIDQ987977zbMATHOpenAlexFDO

Authors Luca Padovani

Publication date 24 August 2010

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/2318/70905

zbMATH Keywords

orchestrationbehavioral contractstesting semanticsccsWeb service discovery

Mathematics Subject Classification ID

Internet topics (68M11)

Recommendations

• Contract-Directed Synthesis of Simple Orchestrators
• An algebraic theory for web service contracts
• A theory of contracts for web services
• Automata for Specifying and Orchestrating Service Contracts
• Automata for analysing service contracts

Cites work

• scientific article; zbMATH DE number 48630 (Why is no real title available?)
• scientific article; zbMATH DE number 733666 (Why is no real title available?)
• scientific article; zbMATH DE number 3995043 (Why is no real title available?)
• scientific article; zbMATH DE number 1886073 (Why is no real title available?)
• scientific article; zbMATH DE number 1398002 (Why is no real title available?)
• A characterization of regular expressions under bisimulation
• A theory of contracts for web services
• Acceptance trees
• CCS expressions, finite state processes, and three problems of equivalence
• Computer Aided Verification
• Contract-Directed Synthesis of Simple Orchestrators
• Failure-free coordinators synthesis for component-based architectures
• Fundamental properties of infinite trees
• Nondeterministic regular expressions as solutions of equational systems.
• Retrieving library functions by unifying types modulo linear isomorphism
• Subtyping for session types in the pi calculus
• Testing equivalence as a bisimulation equivalence
• Testing equivalences for processes
• The Must Preorder Revisited
• The Pairing of Contracts and Session Types
• Trace and testing equivalence on asynchronous processes

Cited in

(21)

• Session types and subtyping for orchestrated interactions
• Modelling session types using contracts
• Sub-behaviour relations for session-based client/server systems
• Contracts as games on event structures
• A Framework for Linking and Pricing No-Cure-No-Pay Services
• Contract-Directed Synthesis of Simple Orchestrators
• A logical account of subtyping for session types
• On the potential advantages of exploiting behavioural information for contract-based service discovery and composition
• Orchestrated session compliance
• On the use of behavioural equivalences for web services' development
• A theory of contracts for web services
• Consistently-detecting monitors
• Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders
• Composition of synchronous communicating systems
• Reversible client/server interactions
• A Behavioural Congruence for Web Services
• Multiparty testing preorders
• An algebraic theory for web service contracts
• Graph Transformations
• Monotonicity in Service Orchestrations
• On Composing Communicating Systems

This page was built for publication: Contract-based discovery of Web services modulo simple orchestrators

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