Please use this identifier to cite or link to this item:
Full metadata record
DC FieldValueLanguage
dc.contributor.authorColombo, Christian-
dc.contributor.authorPace, Gordon J.-
dc.contributor.authorScicluna, Justine-
dc.identifier.citationColombo, C., Pace, G. J., & Scicluna, J. (2014). Event-based characterisation of temporal properties over system states. Computer Science Annual Workshop CSAW’14, Msida. 1-3.en_GB
dc.description.abstractThe design of runtime verification (or monitoring) systems presents a myriad of options — how to instrument properties, in which logic to specify properties, what algorithms to use to implement the property checking, etc. One crucial issue is what elements of the system one is interested in observing, and what points-of-interest one must capture to be able to perform this monitoring. Many runtime verification tools base their properties on the control flow of the system (e.g.): method calls, object creation, exception raising, etc. Especially in the domain of distributed systems, one also finds communication-centric runtime monitoring, in which one focuses on the communication taking place between nodes (e.g. see). Finally, a minority of tools take a data-centric approach, in which one can write properties about the values stored in the system state. The choice of approach has a major influence on how monitoring code can be instrumented in the system. Typically, control-centric approaches use aspect-oriented programming (or similar) technologies to insert additional code identifying the events of interest in the system. On the other hand, to monitor communication in a distributed, message-passing system, one may create communication proxies (actual or local virtual ones) which capture and analyse the messages, i.e. the temporal points-of-interest in such a system. In a data-centric approach, one typically captures points of discontinuity in the values of variables — when they are assigned a value — to be able to capture properties which talk about how the values of the system state changes over time.en_GB
dc.publisherUniversity of Malta. Faculty of ICTen_GB
dc.subjectEvent processing (Computer science)en_GB
dc.subjectReal-time data processingen_GB
dc.subjectComputer programs -- Verificationen_GB
dc.titleEvent-based characterisation of temporal properties over system statesen_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 holder.en_GB
dc.bibliographicCitation.conferencenameComputer Science Annual Workshop CSAW’14en_GB
dc.bibliographicCitation.conferenceplaceMsida, Malta, 6-7/11/2014en_GB
Appears in Collections:Scholarly Works - FacICTCS

Files in This Item:
File Description SizeFormat 
Proceedings of CSAW’14 - A2.pdf311.06 kBAdobe PDFView/Open

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