CORE
🇺🇦
make metadata, not war
Services
Services overview
Explore all CORE services
Access to raw data
API
Dataset
FastSync
Content discovery
Recommender
Discovery
OAI identifiers
OAI Resolver
Managing content
Dashboard
Bespoke contracts
Consultancy services
Support us
Support us
Membership
Sponsorship
Community governance
Advisory Board
Board of supporters
Research network
About
About us
Our mission
Team
Blog
FAQs
Contact us
research
Hybrid Session Verification through Endpoint API Generation
Authors
B Toninho
D Mostrous
+24 more
D Mostrous
F Pfenning
Hugo A. López
K Honda
KC Sivaramakrishnan
Kohei Honda
L Bocchi
L Caires
M Coppo
M Coppo
M Neubauer
N Ng
N Ng
N Yoshida
P-M Deniélou
P-M Deniélou
R Demangeon
R Hu
R Hu
R Neykova
Rumyana Neykova
S Gay
S Gay
S Lindley
Publication date
18 December 2015
Publisher
'Springer Science and Business Media LLC'
Doi
Cite
Abstract
© Springer-Verlag Berlin Heidelberg 2016.This paper proposes a new hybrid session verification methodology for applying session types directly to mainstream languages, based on generating protocol-specific endpoint APIs from multiparty session types. The API generation promotes static type checking of the behavioural aspect of the source protocol by mapping the state space of an endpoint in the protocol to a family of channel types in the target language. This is supplemented by very light run-time checks in the generated API that enforce a linear usage discipline on instances of the channel types. The resulting hybrid verification guarantees the absence of protocol violation errors during the execution of the session. We implement our methodology for Java as an extension to the Scribble framework, and use it to specify and implement compliant clients and servers for real-world protocols such as HTTP and SMTP
Similar works
Full text
Open in the Core reader
Download PDF
Available Versions
Supporting member
Spiral - Imperial College Digital Repository
See this paper in CORE
Go to the repository landing page
Download from data provider
oai:spiral.imperial.ac.uk:1004...
Last time updated on 17/02/2017
Crossref
See this paper in CORE
Go to the repository landing page
Download from data provider
info:doi/10.1007%2F978-3-662-4...
Last time updated on 11/12/2019