Please use this identifier to cite or link to this item:
|A theory of monitors
Object monitors (Computer software)
Computer networks -- Monitoring
|Francalanza, A. (2021). A theory of monitors. Information and Computation, 104704.
|We develop a behavioural theory for monitors, computational entities that passively analyse the runtime behaviour of systems so as to infer properties about them. First, we present a monitor language and an instrumentation relation used for piCalculus process monitoring. We then identify contextual behavioural preorders that allow us to relate monitors according to criteria defined over monitored executions of piCalculus processes. Subsequently, we develop alternative monitor preorders that are compositional, since they allow us to relate monitors without resorting to their composite behaviour when they instrumented with systems. Importantly, we show that the latter alternative preorders are sound and complete with respect to the contextual preorders. Finally, we demonstrate how these preorders can assist the development of correct monitor synthesis tools.
|Appears in Collections:
|Scholarly Works - FacICTCS
Files in This Item:
|View/Open Request a copy
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.