Please use this identifier to cite or link to this item:
Title: On implementing a monitor-oriented programming framework for actor systems
Other Titles: Integrated formal methods. IFM 2016. Lecture notes in computer science
Authors: Cassar, Ian
Francalanza, Adrian
Keywords: Computer software -- Verification
Aspect-oriented programming
Computer software -- Testing
Computer software -- Development
Real-time data processing
Issue Date: 2016
Publisher: Springer, Cham
Citation: Cassar, I., & Francalanza, A. (2016) On implementing a monitor-oriented programming framework for actor systems. E. Ábrahám & M. Huisman (Eds.), Integrated Formal Methods. IFM 2016. Lecture Notes in Computer Science, (pp. 1-15). Cham: Springer.
Abstract: We examine the challenges of implementing a framework for automating Monitor-Oriented Programming in the context of actor-based systems. The inherent modularity resulting from delineations induced by actors makes such systems well suited to this style of programming because monitors can surgically target parts of the system without affecting the computation in other parts. At the same time, actor systems pose new challenges for the instrumentation of the resp. monitoring observations and actions, due to the intrinsic asynchrony and encapsulation that characterise the actor model. We discuss a prototype implementation that tackles these challenges for the case of Erlang OTP, an industry-strength platform for building actor-based concurrent systems. We also demonstrate the effectiveness of our Monitor-Oriented Programming framework by using it to augment the functionality of a third-party software written in Erlang.
Appears in Collections:Scholarly Works - FacICTCS

Files in This Item:
File Description SizeFormat 
  Restricted Access
144.5 kBAdobe PDFView/Open Request a copy

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