An algebraic theory for web service contracts

DOI10.1007/s00165-015-0334-2zbMath1338.68016OpenAlexW1982584608MaRDI QIDQ493534

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

zbMATH Keywords

contractscomplianceweb servicessubcontractchoreographyBPELdual contractmust-testing

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Internet topics (68M11)

Related Items (5)

Relating two automata-based models of orchestration and choreography ⋮ Compliance in Behavioural Contracts: A Brief Survey ⋮ An algebraic theory for web service contracts ⋮ A fixed-points based framework for compliance of behavioural contracts ⋮ Unnamed Item

Uses Software

• PiDuce
• PIPER
• CDuce
• XDuce

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An algebraic theory for web service contracts
• PiDuce- A project for experimenting web services technologies
• Contract-based discovery of Web services modulo simple orchestrators
• Formal semantics and analysis of control flow in WS-BPEL
• A calculus of communicating systems
• Testing equivalences for processes
• Subtyping for session types in the pi calculus
• Contracts for Mobile Processes
• A theory of contracts for web services
• Multiparty asynchronous session types
• Typing Asymmetric Client-Server Interaction
• The Pairing of Contracts and Session Types
• The Must Preorder Revisited
• Contract-Directed Synthesis of Simple Orchestrators
• A theory of contracts for strong service compliance
• On the expressive power of recursion, replication and iteration in process calculi
• A Theory of Communicating Sequential Processes
• Retrieving library functions by unifying types modulo linear isomorphism
• A generic type system for the Pi-calculus
• Types as models
• CDuce
• Fair Subtyping for Open Session Types
• The algorithmics of bisimilarity
• Fair subtyping for multi-party session types
• Modelling session types using contracts
• Structured Communication-Centred Programming for Web Services
• Bisimulations in the join-calculus

This page was built for publication: An algebraic theory for web service contracts