Disciplined structured communications with disciplined 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 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.
Document type :
Journal articles
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01052441
Contributor : Frédéric Davesne <>
Submitted on : Friday, July 25, 2014 - 11:57:44 PM
Last modification on : Monday, October 28, 2019 - 11:00:24 AM

Links full text

Identifiers

Citation

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

Share

Metrics

Record views

145