Aspectual Session Types

Nicolas Tabareau 1, 2 Mario Südholt 1, 2 Éric Tanter 3
1 ASCOLA - Aspect and composition languages
Inria Rennes – Bretagne Atlantique , Département informatique - EMN, LINA - Laboratoire d'Informatique de Nantes Atlantique
Abstract : Multiparty session types allow the definition of distributed processes with strong communication safety properties. A global type is a choreographic specification of the interactions between peers, which is then projected locally in each peer. Well-typed processes behave accordingly to the global protocol specification. Multiparty session types are however monolithic entities that are not amenable to modular extensions. Also, session types impose conservative requirements to prevent any race condition, which prohibit the uni- form application of extensions at different points in a protocol. In this paper, we describe a means to support modular extensions with aspectual session types, a static pointcut/advice mechanism at the session type level. To support the modular definition of crosscut- ting concerns, we augment the expressivity of session types to al- low harmless race conditions. We formally prove that well-formed aspectual session types entail communication safety. As a result, aspectual session types make multiparty session types more flexible, modular, and extensible.
Document type :
Conference papers
Modularity - 13th International Conference on Modularity, Apr 2014, Lugano, Switzerland. 2014, 〈10.1145/2577080.2577085〉
Liste complète des métadonnées

Cited literature [13 references]  Display  Hide  Download

https://hal.inria.fr/hal-00872791
Contributor : Nicolas Tabareau <>
Submitted on : Monday, February 17, 2014 - 10:04:20 PM
Last modification on : Friday, June 22, 2018 - 9:33:56 AM
Document(s) archivé(s) le : Saturday, May 17, 2014 - 10:36:30 AM

File

preprint.pdf
Files produced by the author(s)

Identifiers

Citation

Nicolas Tabareau, Mario Südholt, Éric Tanter. Aspectual Session Types. Modularity - 13th International Conference on Modularity, Apr 2014, Lugano, Switzerland. 2014, 〈10.1145/2577080.2577085〉. 〈hal-00872791〉

Share

Metrics

Record views

699

Files downloads

237