A theory of contracts for web services

DOI10.1145/1328438.1328471zbMath1295.68080MaRDI 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

contracts; type theory; subtyping; web services; concurrency theory; CCS; explicit coercions; must testing

Mathematics Subject Classification ID

68Q25: Analysis of algorithms and problem complexity

68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)

68N18: Functional programming and lambda calculus

68Q42: Grammars and rewriting systems

68P20: Information storage and retrieval of data

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

68M11: Internet topics

Related Items

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