Dynamic software updating: a systematic mapping study
Dynamic software updating (DSU) is shifting gears to modify software systems without a halt.
Even though extensive research has been conducted on DSU, it is necessary to synthesise …
Even though extensive research has been conducted on DSU, it is necessary to synthesise …
Let it recover: multiparty protocol-induced recovery
Fault-tolerant communication systems rely on recovery strategies which are often error-
prone (eg a programmer manually specifies recovery strategies) or inefficient (eg the whole …
prone (eg a programmer manually specifies recovery strategies) or inefficient (eg the whole …
Dynamic choreographies: Theory and implementation
M Dalla Preda, M Gabbrielli… - Logical Methods in …, 2017 - lmcs.episciences.org
Programming distributed applications free from communication deadlocks and race
conditions is complex. Preserving these properties when applications are updated at …
conditions is complex. Preserving these properties when applications are updated at …
[HTML][HTML] Monitoring networks through multiparty session types
In large-scale distributed infrastructures, applications are realised through communications
among distributed components. The need for methods for assuring safe interactions in such …
among distributed components. The need for methods for assuring safe interactions in such …
[PDF][PDF] Multiparty session types for safe runtime adaptation in an actor language
Human fallibility, unpredictable operating environments, and the heterogeneity of hardware
devices are driving the need for software to be able to adapt as seen in the Internet of Things …
devices are driving the need for software to be able to adapt as seen in the Internet of Things …
Replication, refinement & reachability: complexity in dynamic condition-response graphs
We explore the complexity of reachability and run-time refinement under safety and liveness
constraints in event-based process models. Our study is framed in the DCR^ ⋆⋆ process …
constraints in event-based process models. Our study is framed in the DCR^ ⋆⋆ process …
Instant {OS} Updates via Userspace {Checkpoint-and-Restart}
In recent years, operating systems have become increasingly complex and thus prone to
security and performance issues. Accordingly, system updates to address these issues have …
security and performance issues. Accordingly, system updates to address these issues have …
Safety, liveness and run-time refinement for modular process-aware information systems with dynamic sub processes
We study modularity, run-time adaptation and refinement under safety and liveness
constraints in event-based process models with dynamic sub-process instantiation. The …
constraints in event-based process models with dynamic sub-process instantiation. The …
Dynamic choreographies: Safe runtime updates of distributed applications
Programming distributed applications free from communication deadlocks and races is
complex. Preserving these properties when applications are updated at runtime is even …
complex. Preserving these properties when applications are updated at runtime is even …
Self-adaptive monitors for multiparty sessions
M Coppo, M Dezani-Ciancaglini… - 2014 22nd Euromicro …, 2014 - ieeexplore.ieee.org
This paper aims at incorporating the notion of self-adaptiveness in the context of multiparty
sessions, by focusing on the issue of ensuring correctness for dynamic adaptations. A formal …
sessions, by focusing on the issue of ensuring correctness for dynamic adaptations. A formal …