A concise specification language for trace monitoring

Date of this Version


Document Type

Conference Proceeding

Publication Details

Citation only

Vorobyov, K., Krishnan, P., & Stocks, P. (2015). A concise specification language for trace monitoring. Proceedings of the 30th Annual ACM Symposium on Applied Computing. 13-17 April, 2015. Salamanca, Spain, 1637-1640.

Access the conference website

Access the journal

© Copyright 2015 ACM.




In this paper we propose a mechanism called specification for monitoring (SFM) to specify runtime monitoring of programs at a high level, and an abstract API showing how to implement the monitor. SFM enables users to separate the semantic issues related to monitoring and implementation details. This results in compact specifications as the implementation details are delegated to the implementation of the API. We present several specifications to demonstrate that SFM is capable of addressing problems related to runtime fault detection at different levels of abstraction.

This document is currently not available here.



This document has been peer reviewed.