Work

Modelling session types using contracts

Year: 2012

Type: conference-paper

Abstract: Web services are one of the most widely used technologies for service oriented computing. In particular, they support client-server protocols whose specifications are written in XML languages as such as WSCL or WSDL. Notwithstanding the wide adoption of web services, it is not yet clear which formalism should be used to reason about the protocols they support. Session types and contracts are two formalisms used to study client-server protocols, both promoted as good formal methods for web services. In this paper we study the relationship between contracts and session types. The main result is the existence of a fully abstract model of session types; this model is based on a natural interpretation of these types into a subset of contracts.

Source: ACM Symposium on Applied Computing

DOI: 10.1145/2245276.2232097

Authors: Giovanni Bernardi, Matthew Hennessy

Institution: Trinity College Dublin

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W2055169409

FWCI: 0.918

Cites: 22

Cited by: 11

Related to: 10