Disciplined structured communications with disciplined runtime adaptation - Archive ouverte HAL Access content directly
Journal Articles Science of Computer Programming Year : 2015

Disciplined structured communications with disciplined runtime adaptation


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 requirements related to runtime adaptation. 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 type discipline for a calculus with adaptable processes. Our typed framework offers a simple alternative for integrating runtime adaptation mechanisms in the modeling and analysis of structured communications. We show that well-typed processes enjoy safety and consistency properties: while the former property ensures the absence of communication errors at runtime, the latter guarantees that active session behavior is never disrupted by adaptation actions.

Dates and versions

hal-01052441 , version 1 (25-07-2014)



Cinzia Di Giusto, Jorge Andrés Pérez. Disciplined structured communications with disciplined runtime adaptation. Science of Computer Programming, 2015, 97 (P2), pp.235--265. ⟨10.1016/j.scico.2014.04.017⟩. ⟨hal-01052441⟩
60 View
0 Download



Gmail Facebook Twitter LinkedIn More