%0 Conference Proceedings %T Disciplined structured communications with consistent runtime adaptation %+ Département Ingénierie Logiciels et Systèmes (DILS) %+ Centro de Informática e Tecnologia Informação (CITI) %+ Faculdade de Ciências e Tecnologia = School of Science & Technology (FCT NOVA) %A Di Giusto, C. %A Pérez, J.A. %Z Conference of 28th Annual ACM Symposium on Applied Computing, SAC 2013 ; Conference Date: 18 March 2013 Through 22 March 2013; Conference Code:96995 %< avec comité de lecture %B SAC '13 Proceedings of the 28th Annual ACM Symposium on Applied Computing %C Coimbra, Portugal %P 1913-1918 %8 2013-03-18 %D 2013 %R 10.1145/2480362.2480716 %K Concurrent process %K Dynamic infrastructure %K Process calculi %K Programming calculi %K Runtime adaptation %K Service Oriented Systems %K Session types %K Structured communication %K Computation theory %Z Computer Science [cs]Conference papers %X 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. %G English %L cea-01836268 %U https://cea.hal.science/cea-01836268 %~ CEA %~ DRT %~ LIST %~ ANR