A formal account of contracts for web services

Authors:
S. Carpineti;G. Castagna;C. Laneve;L. Padovani
Affiliations:
Department of Computer Science, University of Bologna;École Normale Supérieure de Paris;Department of Computer Science, University of Bologna;Information Science and Technology Institute, University of Urbino
Venue:
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Year:
2006

Citing 7
Cited 34

Acceptance trees

Journal of the ACM (JACM)
Refusal testing

Theoretical Computer Science
Algebraic theory of processes

Algebraic theory of processes
Isomorphisms of Types: From Lambda-Calculus to Information Retrieval and Language Design

Isomorphisms of Types: From Lambda-Calculus to Information Retrieval and Language Design
A Calculus of Communicating Systems

A Calculus of Communicating Systems
CCS without tau's

TAPSOFT '87/CAAP '87 Proceedings of the International Joint Conference on Theory and Practice of Software Development, Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming
Inverting back the inversion of control or, continuations versus page-centric programming

ACM SIGPLAN Notices

A theory of contracts for web services

Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
XPi: A typed process calculus for XML messaging

Science of Computer Programming
Sessions and Pipelines for Structured Service Programming

FMOODS '08 Proceedings of the 10th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
A Type System for Client Progress in a Service-Oriented Calculus

Concurrency, Graphs and Models
The Pairing of Contracts and Session Types

Concurrency, Graphs and Models
Contract-Directed Synthesis of Simple Orchestrators

CONCUR '08 Proceedings of the 19th international conference on Concurrency Theory
Semantic Web Service Choreography: Contracting and Enactment

ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
A Foundational Theory of Contracts for Multi-party Service Composition

Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
Contract Compliance and Choreography Conformance in the Presence of Message Queues

Web Services and Formal Methods
Proof Techniques for Adapter Generation

Web Services and Formal Methods
A theory of contracts for Web services

ACM Transactions on Programming Languages and Systems (TOPLAS)
A theory of contracts for strong service compliance

Mathematical Structures in Computer Science
Choice, interoperability, and conformance in interaction protocols and service choreographies

Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Contract-Based Discovery and Adaptation of Web Services

Formal Methods for Web Services
Contract-Based Discovery and Composition of Web Services

Formal Methods for Web Services
Contracts for Mobile Processes

CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
A theory for strong service compliance

COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
Performance-oriented comparison of web services via client-specific testing preorders

FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
Contract based multi-party service composition

FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Towards a unifying theory for choreography conformance and contract compliance

SC'07 Proceedings of the 6th international conference on Software composition
Two notions of sub-behaviour for session-based client/server systems

Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming
Contract-based discovery of Web services modulo simple orchestrators

Theoretical Computer Science
Compliance preorders for web services

WS-FM'09 Proceedings of the 6th international conference on Web services and formal methods
Ludics and web: another reading of standard operations

Ludics, dialogue and interaction
On contract satisfaction in a higher-order world

ACM Transactions on Programming Languages and Systems (TOPLAS)
Advanced mechanisms for service composition, query and discovery

Rigorous software engineering for service-oriented systems
Behavioural contracts with request-response operations

COORDINATION'10 Proceedings of the 12th international conference on Coordination Models and Languages
Model checking adaptive multilevel service compositions

FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
Modelling session types using contracts

Proceedings of the 27th Annual ACM Symposium on Applied Computing
A Foundational Theory of Contracts for Multi-party Service Composition

Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
The must preorder revisited: an algebraic theory for web services contracts

CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
Behavioural contracts with request-response operations

Science of Computer Programming
Synthesising choreographies from local session types

CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
Mutually testing processes

CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory

Quantified Score

Hi-index	0.00

Visualization

Abstract

We define a formal contract language along with subcontract and compliance relations. We then extrapolate contracts out of processes, that are a recursion-free fragment of ccs. We finally demonstrate that a client completes its interactions with a service provided the corresponding contracts comply. Our contract language may be used as a foundation of Web services technologies, such as wsdl and wscl.