Disciplined structured communications with consistent runtime adaptation

Abstract : Session types offer a powerful type-theoretic foundation for the analysis of structured communications, as commonly found in service-oriented systems. They are defined upon core programming calculi which offer only limited support for expressing adaptation and evolvability requirements. This is unfortunate, as service-oriented systems are increasingly being deployed upon highly dynamic infrastructures in which such requirements are central concerns. In previous work, we developed a process calculi framework of adaptable processes, in which concurrent processes can be replaced, suspended, or discarded at runtime. In this paper, we propose a session types discipline for a calculus with adaptable processes. Our framework offers an alternative for integrating runtime adaptation mechanisms in the analysis of structured communications. We show that well-typed processes enjoy consistency: communicating behavior is never interrupted by evolvability actions.
Document type :
Conference papers
Complete list of metadatas

https://hal-cea.archives-ouvertes.fr/cea-01836268
Contributor : Léna Le Roy <>
Submitted on : Thursday, July 12, 2018 - 11:00:08 AM
Last modification on : Thursday, October 10, 2019 - 4:36:02 PM

Identifiers

Collections

CEA | DRT | LIST

Citation

C. Di Giusto, J.A. Pérez. Disciplined structured communications with consistent runtime adaptation. SAC '13 Proceedings of the 28th Annual ACM Symposium on Applied Computing, Mar 2013, Coimbra, Portugal. pp.1913-1918, ⟨10.1145/2480362.2480716⟩. ⟨cea-01836268⟩

Share

Metrics

Record views

53