Please use this identifier to cite or link to this item:
Title: Runtime adaptation for actor systems
Other Titles: Runtime verification : lecture notes in computer science
Authors: Cassar, Ian
Francalanza, Adrian
Keywords: Computer software -- Verification
Aspect-oriented programming
Computer software -- Testing
Issue Date: 2015
Publisher: Springer, Cham
Citation: Cassar I., & Francalanza, A. (2015). Runtime adaptation for actor systems. In: E. Bartocci, R. Majumdar (Eds.), Runtime Verification: Lecture Notes in Computer Science (pp. 1-15). Cham: Springer.
Abstract: 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.
Appears in Collections:Scholarly Works - FacICTCS

Files in This Item:
File Description SizeFormat 
rv15adapt.pdf181.44 kBAdobe PDFView/Open

Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.