Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/23415
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. |
URI: | https://www.um.edu.mt/library/oar//handle/123456789/23415 |
Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
ifm2016.pdf Restricted Access | 144.5 kB | Adobe PDF | View/Open Request a copy |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.