An algebraic theory for web service contracts
From MaRDI portal
Publication:493534
DOI10.1007/S00165-015-0334-2zbMATH Open1338.68016OpenAlexW1982584608MaRDI QIDQ493534FDOQ493534
Authors: Cosimo Laneve, Luca Padovani 
Publication date: 3 September 2015
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/hal-01229401/file/ifm2013full.pdf
Recommendations
Cites Work
- PiDuce- A project for experimenting web services technologies
- CDuce: an XML-centric general-purpose language
- Title not available (Why is that?)
- Multiparty asynchronous session types
- The Must Preorder Revisited
- An algebraic theory for web service contracts
- Contract-based discovery of Web services modulo simple orchestrators
- A calculus of communicating systems
- Testing equivalences for processes
- A Theory of Communicating Sequential Processes
- Subtyping for session types in the pi calculus
- A theory of contracts for web services
- The Pairing of Contracts and Session Types
- Modelling session types using contracts
- Structured Communication-Centred Programming for Web Services
- Formal semantics and analysis of control flow in WS-BPEL
- Title not available (Why is that?)
- On the expressive power of recursion, replication and iteration in process calculi
- A foundational theory of contracts for multi-party service composition
- Types as models: model checking message-passing programs
- A generic type system for the \(\pi\)-calculus
- Bisimulations in the join-calculus
- Contracts for Mobile Processes
- Typing asymmetric client-server interaction
- Contract-Directed Synthesis of Simple Orchestrators
- A theory of contracts for strong service compliance
- 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?)
- Fair subtyping for open session types
- The algorithmics of bisimilarity
- Fair subtyping for multi-party session types
Cited In (20)
- Compliance in behavioural contracts: a brief survey
- Session types for safe web service orchestration
- A WSDL-based type system for asynchronous WS-BPEL processes
- A theory of contracts for web services
- Relating two automata-based models of orchestration and choreography
- An algebraic theory for web service contracts
- Title not available (Why is that?)
- Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders
- Contract-based discovery of Web services modulo simple orchestrators
- Contract-Directed Synthesis of Simple Orchestrators
- A theory of contracts for strong service compliance
- A fixed-points based framework for compliance of behavioural contracts
- Programming Languages and Systems
- On the use of behavioural equivalences for web services' development
- A formal approach to service specification and matching based on graph transformation
- Behavioural contracts with request-response operations
- Structural and behavioural compatibility of graphical service specifications
- A Behavioural Congruence for Web Services
- The Must Preorder Revisited
- UTP Semantics for Web Services
Uses Software
This page was built for publication: An algebraic theory for web service contracts
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q493534)
