Explicit connection actions in multiparty session types

File Description SizeFormat 
fase17.pdfAccepted version547.2 kBAdobe PDFDownload
Title: Explicit connection actions in multiparty session types
Author(s): Hu, R
Yoshida, N
Item Type: Conference Paper
Abstract: This work extends asynchronous multiparty session types (MPST) with explicit connection actions to support protocols with op- tional and dynamic participants. The actions by which endpoints are connected and disconnected are a key element of real-world protocols that is not treated in existing MPST works. In addition, the use cases motivating explicit connections often require a more relaxed form of mul- tiparty choice: these extensions do not satisfy the conservative restric- tions used to ensure safety in standard syntactic MPST. Instead, we de- velop a modelling-based approach to validate MPST safety and progress for these enriched protocols. We present a toolchain implementation, for distributed programming based on our extended MPST in Java, and a core formalism, demonstrating the soundness of our approach. We discuss key implementation issues related to the proposed extensions: a practi- cal treatment of choice subtyping for MPST progress, and multiparty correlation of dynamic binary connections.
Publication Date: 22-Mar-2017
Date of Acceptance: 20-Dec-2016
URI: http://hdl.handle.net/10044/1/44468
DOI: https://dx.doi.org/10.1007/978-3-662-54494-5_7
ISBN: 978-3-662-54493-8
ISSN: 0302-9743
Publisher: Springer
Start Page: 116
End Page: 133
Journal / Book Title: Lecture Notes in Computer Science
Volume: 10202
Copyright Statement: © Springer-Verlag GmbH Germany 2017. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-662-54494-5_7
Sponsor/Funder: Engineering & Physical Science Research Council (E
Engineering & Physical Science Research Council (E
Engineering & Physical Science Research Council (EPSRC)
Commission of the European Communities
Engineering & Physical Science Research Council (EPSRC)
Engineering & Physical Sciences Research Council
Funder's Grant Number: ERI 025567 (EP/K034413/1)
PO 1553380
EP/K011715/1
612985
EP/N027833/1
72043/2
Conference Name: 20th International Conference on Fundamental Approaches to Software Engineering (FASE 2017)
Keywords: Artificial Intelligence & Image Processing
08 Information And Computing Sciences
Publication Status: Published
Start Date: 2017-04-26
Finish Date: 2017-04-28
Conference Place: Uppsala, Sweden
Appears in Collections:Faculty of Engineering
Computing



Items in Spiral are protected by copyright, with all rights reserved, unless otherwise indicated.

Creative Commons