Multiparty Session Actors
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...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Open Publishing Association
2014-06-01
|
| Series: | Electronic Proceedings in Theoretical Computer Science |
| Online Access: | http://arxiv.org/pdf/1406.3482v1 |
| _version_ | 1818062740803026944 |
|---|---|
| author | Rumyana Neykova Nobuko Yoshida |
| author_facet | Rumyana Neykova Nobuko Yoshida |
| author_sort | Rumyana Neykova |
| collection | DOAJ |
| description | 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 mailbox. 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 type-safety and progress of the communicating entities. An actor can implement multiple roles in a similar way as an object can implement multiple interfaces. Multiple roles allow for inter-concurrency in a single actor still preserving its progress property. We demonstrate our framework by designing and implementing a session actor library in Python and its runtime verification mechanism. |
| first_indexed | 2024-12-10T14:09:01Z |
| format | Article |
| id | doaj.art-c269934b5f674d0ba625eff393ccf93a |
| institution | Directory Open Access Journal |
| issn | 2075-2180 |
| language | English |
| last_indexed | 2024-12-10T14:09:01Z |
| publishDate | 2014-06-01 |
| publisher | Open Publishing Association |
| record_format | Article |
| series | Electronic Proceedings in Theoretical Computer Science |
| spelling | doaj.art-c269934b5f674d0ba625eff393ccf93a2022-12-22T01:45:33ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802014-06-01155Proc. PLACES 2014323710.4204/EPTCS.155.5:9Multiparty Session ActorsRumyana Neykova0Nobuko Yoshida1 Imperial College London Imperial College London 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 mailbox. 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 type-safety and progress of the communicating entities. An actor can implement multiple roles in a similar way as an object can implement multiple interfaces. Multiple roles allow for inter-concurrency in a single actor still preserving its progress property. We demonstrate our framework by designing and implementing a session actor library in Python and its runtime verification mechanism.http://arxiv.org/pdf/1406.3482v1 |
| spellingShingle | Rumyana Neykova Nobuko Yoshida Multiparty Session Actors Electronic Proceedings in Theoretical Computer Science |
| title | Multiparty Session Actors |
| title_full | Multiparty Session Actors |
| title_fullStr | Multiparty Session Actors |
| title_full_unstemmed | Multiparty Session Actors |
| title_short | Multiparty Session Actors |
| title_sort | multiparty session actors |
| url | http://arxiv.org/pdf/1406.3482v1 |
| work_keys_str_mv | AT rumyananeykova multipartysessionactors AT nobukoyoshida multipartysessionactors |