Disciplined structured communications with disciplined runtime adaptationDi Giusto, C. & Perez, J. A., 1-Jan-2015, In : Science of computer programming. 97, 2, p. 235-265 31 p.
Research output: Contribution to journal › Article › Academic › peer-review
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. (C) 2014 Elsevier B.V. All rights reserved.
|Number of pages||31|
|Journal||Science of computer programming|
|Publication status||Published - 1-Jan-2015|
- Types for structured communications, Session types, Process calculi, Runtime adaptation, Adaptable processes, SESSION TYPES, MOBILE PROCESSES, CALCULUS, ACCESS