Sciweavers

RV
2015
Springer

Runtime Adaptation for Actor Systems

8 years 6 months ago
Runtime Adaptation for Actor Systems
We study the problem of extending RV techniques in the context of (asynchronous) actor systems, so as to be able to carry out a degree of system adaptation at runtime. We propose extensions to specification logics that provide handles for programming both monitor synchronisations (with individual actors), as well as the administration of the resp. adaptations once the triggering behaviour is observed. Since this added functionality allows the specifier to introduce erroneous adaptation procedures, we also develop static analysis techniques based on substructural type systems to assist the construction of correct adaptation scripts.
Ian Cassar, Adrian Francalanza
Added 17 Apr 2016
Updated 17 Apr 2016
Type Journal
Year 2015
Where RV
Authors Ian Cassar, Adrian Francalanza
Comments (0)