Multiparty session actors

File Description SizeFormat 
1609.05687.pdfFile embargoed until 01 January 10000639.42 kBAdobe PDF    Request a copy
Title: Multiparty session actors
Author(s): Neykova, R
Yoshida, N
Item Type: Journal Article
Abstract: Actor coordination armoured with a suitable protocol description language has been a pressing problem in the actors community. We study the applicability of multiparty session type (MPST) protocols for verification of actor programs. We incorporate sessions to actors by introduc- ing minimum additions to the model such as the notion of actor roles and protocol mailboxes. The framework uses Scribble, which is a protocol description language based on multiparty session types. Our programming model supports actor-like syntax and runtime verification mechanism guarantee- ing communication safety of the participating entities. An actor can implement multiple roles in a similar way as an object can implement multiple interfaces. Multiple roles allow for cooperative inter-concurrency in a single actor. We demonstrate our framework by designing and implement- ing a session actor library in Python and its runtime verification mechanism. Benchmark results demonstrate that the runtime checks induce negligible overhead. We evaluate the applicability of our verification framework to specify actor interactions by implementing twelve examples from an actor benchmark suit.
Date of Acceptance: 13-Dec-2016
URI: http://hdl.handle.net/10044/1/44515
ISSN: 1860-5974
Publisher: IfCoLog (International Federation of Computational Logic)
Journal / Book Title: Logical Methods in Computer Science
Copyright Statement: This paper is embargoed until publication. Once published will be available fully open access.
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
Funder's Grant Number: ERI 025567 (EP/K034413/1)
PO 1553380
EP/K011715/1
612985
Keywords: 0101 Pure Mathematics
0803 Computer Software
0802 Computation Theory And Mathematics
Publication Status: Accepted
Embargo Date: publication subject to indefinite embargo
Open Access location: https://arxiv.org/abs/1609.05687
Appears in Collections:Computing



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

Creative Commons