Multiparty Session Actors - LNCS 8459: Coordination Models and Languages Access content directly
Conference Papers Year : 2014

Multiparty Session Actors

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 introducing 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 guaranteeing 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 implementing a session actor library in Python and its runtime verification mechanism. Benchmark results demonstrate that the runtime checks induce negligible overhead.
Fichier principal
Vignette du fichier
326181_1_En_9_Chapter.pdf (4 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01290073 , version 1 (17-03-2016)

Licence

Attribution

Identifiers

Cite

Rumyana Neykova, Nobuko Yoshida. Multiparty Session Actors. 16th International Conference on Coordination Models and Languages (COORDINATION), Jun 2014, Berlin, Germany. pp.131-146, ⟨10.1007/978-3-662-43376-8_9⟩. ⟨hal-01290073⟩
85 View
78 Download

Altmetric

Share

Gmail Facebook X LinkedIn More