Skip to Main content Skip to Navigation
Conference papers

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 metadata
Contributor : Léna Le Roy Connect in order to contact the contributor
Submitted on : Thursday, July 12, 2018 - 11:00:08 AM
Last modification on : Saturday, June 25, 2022 - 9:11:38 PM





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⟩



Record views