Skip to Main content Skip to Navigation
Journal articles

Event-based run-time adaptation in communication-centric systems

Abstract : Communication-centric systems are software systems built as assemblies of distributed arti-facts that interact following predefined communication protocols. Session-based concurrency is a type-based approach to ensure the conformance of communication-centric systems to such protocols. This paper presents a model of session-based concurrency with mechanisms for run-time adaptation. Our model allows us to specify communication-centric systems whose session behavior can be dynamically updated at run-time. We improve on previous work by proposing an event-based approach: adaptation requests, issued by the system itself or by its context, are assimilated to events which may trigger adaptation routines. These routines exploit type-directed checks to enable the reconfiguration of processes with active protocols. We equip our model with a type system that ensures communication safety and consistency properties: while safety guarantees absence of run-time communication errors, consistency ensures that update actions do not disrupt already established session protocols. We provide soundness results for binary and multiparty protocols.
Complete list of metadatas

Cited literature [29 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01320789
Contributor : Cinzia Di Giusto <>
Submitted on : Tuesday, May 24, 2016 - 2:04:27 PM
Last modification on : Tuesday, May 26, 2020 - 6:50:34 PM

File

eventb-fac.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Cinzia Di Giusto, Jorge A. Pérez. Event-based run-time adaptation in communication-centric systems. Formal Aspects of Computing, Springer Verlag, 2016, ⟨10.1007/s00165-016-0377-z⟩. ⟨hal-01320789⟩

Share

Metrics

Record views

574

Files downloads

230