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 FieldValueLanguage
dc.contributor.authorCassar, Ian
dc.contributor.authorFrancalanza, Adrian
dc.date.accessioned2017-11-06T16:52:08Z
dc.date.available2017-11-06T16:52:08Z
dc.date.issued2016
dc.identifier.citationCassar, 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.urihttps://www.um.edu.mt/library/oar//handle/123456789/23415
dc.description.abstractWe 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.isoenen_GB
dc.publisherSpringer, Chamen_GB
dc.rightsinfo:eu-repo/semantics/restrictedAccessen_GB
dc.subjectComputer software -- Verificationen_GB
dc.subjectAspect-oriented programmingen_GB
dc.subjectComputer software -- Testingen_GB
dc.subjectComputer software -- Developmenten_GB
dc.subjectReal-time data processingen_GB
dc.titleOn implementing a monitor-oriented programming framework for actor systemsen_GB
dc.title.alternativeIntegrated formal methods. IFM 2016. Lecture notes in computer scienceen_GB
dc.typebookParten_GB
dc.rights.holderThe 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 holderen_GB
dc.description.reviewedpeer-revieweden_GB
dc.identifier.doi10.1007/978-3-319-33693-0_12
Appears in Collections:Scholarly Works - FacICTCS

Files in This Item:
File Description SizeFormat 
ifm2016.pdf
  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.