Contract-based discovery of Web services modulo simple orchestrators
From MaRDI portal
Publication:987977
DOI10.1016/J.TCS.2010.05.002zbMATH Open1209.68038OpenAlexW2062339792MaRDI QIDQ987977FDOQ987977
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
Recommendations
Cites Work
- The Must Preorder Revisited
- Testing equivalences for processes
- CCS expressions, finite state processes, and three problems of equivalence
- Fundamental properties of infinite trees
- Subtyping for session types in the pi calculus
- A theory of contracts for web services
- The Pairing of Contracts and Session Types
- Title not available (Why is that?)
- Testing equivalence as a bisimulation equivalence
- Acceptance trees
- Computer Aided Verification
- Contract-Directed Synthesis of Simple Orchestrators
- Retrieving library functions by unifying types modulo linear isomorphism
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Trace and testing equivalence on asynchronous processes
- Title not available (Why is that?)
- A characterization of regular expressions under bisimulation
- Failure-free coordinators synthesis for component-based architectures
- Nondeterministic regular expressions as solutions of equational systems.
Cited In (20)
- A Framework for Linking and Pricing No-Cure-No-Pay Services
- Contracts as games on event structures
- An algebraic theory for web service contracts
- Graph Transformations
- Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders
- Session types and subtyping for orchestrated interactions
- Composition of synchronous communicating systems
- Contract-Directed Synthesis of Simple Orchestrators
- Reversible client/server interactions
- A logical account of subtyping for session types
- On the potential advantages of exploiting behavioural information for contract-based service discovery and composition
- Modelling session types using contracts
- Sub-behaviour relations for session-based client/server systems
- Monotonicity in Service Orchestrations
- Orchestrated session compliance
- On the use of behavioural equivalences for web services' development
- Consistently-detecting monitors
- Multiparty testing preorders
- A Behavioural Congruence for Web Services
- 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)
