University of Hertfordshire

By the same authors

Distributed programming using Java APIs generated from session types

Research output: Chapter in Book/Report/Conference proceedingChapter

View graph of relations
Original languageEnglish
Title of host publicationBehavioural Types
Subtitle of host publicationfrom Theory to Tools English
PublisherRiver Publishers
Pages287-308
Number of pages22
ISBN (Electronic)9788793519817
ISBN (Print)9788793519824
Publication statusPublished - 31 Jul 2017
Externally publishedYes

Abstract

This is a tutorial on using Scribble [9], a toolchain based on multiparty session types [1, 4], for distributed programming in Java. The methodology is based on the generation of protocol-specific Endpoint APIs from Scribble specifications [6]. We start with a brief recap of TCP network programming using standard Java APIs, and their limitations with regards to safety assurances. The main tutorial content is an overview of the key stages of the Scribble toolchain, from global protocol specification, through Endpoint API generation, to Java endpoint implementation, with examples. We discuss the hybrid form of session safety promoted by the Endpoint API generation approach. We then consider Scribble specifications and implementations of HTTP as a real-world use case. Finally, we demonstrate some further Scribble features that leverage Endpoint API generation to safely support more advanced communication patterns.

ID: 18226465