Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/23415
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Cassar, Ian | |
dc.contributor.author | Francalanza, Adrian | |
dc.date.accessioned | 2017-11-06T16:52:08Z | |
dc.date.available | 2017-11-06T16:52:08Z | |
dc.date.issued | 2016 | |
dc.identifier.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. | en_GB |
dc.identifier.uri | https://www.um.edu.mt/library/oar//handle/123456789/23415 | |
dc.description.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. | en_GB |
dc.language.iso | en | en_GB |
dc.publisher | Springer, Cham | en_GB |
dc.rights | info:eu-repo/semantics/restrictedAccess | en_GB |
dc.subject | Computer software -- Verification | en_GB |
dc.subject | Aspect-oriented programming | en_GB |
dc.subject | Computer software -- Testing | en_GB |
dc.subject | Computer software -- Development | en_GB |
dc.subject | Real-time data processing | en_GB |
dc.title | On implementing a monitor-oriented programming framework for actor systems | en_GB |
dc.title.alternative | Integrated formal methods. IFM 2016. Lecture notes in computer science | en_GB |
dc.type | bookPart | en_GB |
dc.rights.holder | The copyright of this work belongs to the author(s)/publisher. The rights of this work are as defined by the appropriate Copyright Legislation or as modified by any successive legislation. Users may access this work and can make use of the information contained in accordance with the Copyright Legislation provided that the author must be properly acknowledged. Further distribution or reproduction in any format is prohibited without the prior permission of the copyright holder | en_GB |
dc.description.reviewed | peer-reviewed | en_GB |
dc.identifier.doi | 10.1007/978-3-319-33693-0_12 | |
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.