Disciplined structured communications with consistent runtime adaptation - Archive ouverte HAL Access content directly
Conference Papers Year : 2013

Disciplined structured communications with consistent runtime adaptation

(1) , (2, 3)
1
2
3

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.
Not file

Dates and versions

cea-01836268 , version 1 (12-07-2018)

Identifiers

Cite

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⟩

Collections

CEA DRT LIST ANR
23 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More