A theory of contracts for web services

DOI10.1145/1328438.1328471zbMath1295.68080OpenAlexW2167928477MaRDI QIDQ3189845

Giuseppe Castagna, Luca Padovani, Nils Gesbert

Publication date: 12 September 2014

Published in: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1328438.1328471

zbMATH Keywords

contractstype theorysubtypingweb servicesconcurrency theoryCCSexplicit coercionsmust testing

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Functional programming and lambda calculus (68N18) Grammars and rewriting systems (68Q42) Information storage and retrieval of data (68P20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Internet topics (68M11)

Related Items (29)

Precise Subtyping for Asynchronous Multiparty Sessions ⋮ Reversible client/server interactions ⋮ Binary Session Types for Psi-Calculi ⋮ Multiparty testing preorders ⋮ Compliance in Behavioural Contracts: A Brief Survey ⋮ Contracts for Mobile Processes ⋮ A brief account of runtime verification ⋮ On the potential advantages of exploiting behavioural information for contract-based service discovery and composition ⋮ Can we communicate? Using dynamic logic to verify team automata ⋮ Session types for safe web service orchestration ⋮ Session coalgebras: a coalgebraic view on session types and communication protocols ⋮ An algebraic theory for web service contracts ⋮ Process calculi as a tool for studying coordination, contracts and session types ⋮ Counting the Cost in the Picalculus (Extended Abstract) ⋮ Hard Life with Weak Binders ⋮ A WSDL-based type system for asynchronous WS-BPEL processes ⋮ Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders ⋮ Failure-divergence semantics and refinement of long running transactions ⋮ Unnamed Item ⋮ Contract-based discovery of Web services modulo simple orchestrators ⋮ A fixed-points based framework for compliance of behavioural contracts ⋮ Deciding Substitutability of Services with Operating Guidelines ⋮ A Theory of Monitors ⋮ Automata for Analysing Service Contracts ⋮ Unnamed Item ⋮ A theory of contracts for strong service compliance ⋮ Objects and session types ⋮ Multiparty Session Types Within a Canonical Binary Theory, and Beyond ⋮ Input urgent semantics for asynchronous timed session types

This page was built for publication: A theory of contracts for web services