A concise specification language for trace monitoring

K. Vorobyov, P. Krishnan, P. A. Stocks

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Abstract

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.

Original languageEnglish
Title of host publication2015 Symposium on Applied Computing, SAC 2015
PublisherAssociation for Computing Machinery (ACM)
Pages1637-1640
Number of pages4
ISBN (Electronic)9781450331968
DOIs
Publication statusPublished - 13 Apr 2015
Event30th Annual ACM Symposium on Applied Computing, SAC 2015 - Salamanca, Spain
Duration: 13 Apr 201517 Apr 2015
Conference number: 30th
https://www.sigapp.org/sac/sac2015/

Conference

Conference30th Annual ACM Symposium on Applied Computing, SAC 2015
Abbreviated titleSAC
CountrySpain
CitySalamanca
Period13/04/1517/04/15
Internet address

Fingerprint

Specification languages
Specifications
Monitoring
Application programming interfaces (API)
Fault detection
Semantics

Cite this

Vorobyov, K., Krishnan, P., & Stocks, P. A. (2015). A concise specification language for trace monitoring. In 2015 Symposium on Applied Computing, SAC 2015 (pp. 1637-1640). Association for Computing Machinery (ACM). https://doi.org/10.1145/2695664.2695952
Vorobyov, K. ; Krishnan, P. ; Stocks, P. A. / A concise specification language for trace monitoring. 2015 Symposium on Applied Computing, SAC 2015. Association for Computing Machinery (ACM), 2015. pp. 1637-1640
@inproceedings{a5b64fa3e1a843468a61644563e59d80,
title = "A concise specification language for trace monitoring",
abstract = "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.",
author = "K. Vorobyov and P. Krishnan and Stocks, {P. A.}",
year = "2015",
month = "4",
day = "13",
doi = "10.1145/2695664.2695952",
language = "English",
pages = "1637--1640",
booktitle = "2015 Symposium on Applied Computing, SAC 2015",
publisher = "Association for Computing Machinery (ACM)",
address = "United States",

}

Vorobyov, K, Krishnan, P & Stocks, PA 2015, A concise specification language for trace monitoring. in 2015 Symposium on Applied Computing, SAC 2015. Association for Computing Machinery (ACM), pp. 1637-1640, 30th Annual ACM Symposium on Applied Computing, SAC 2015, Salamanca, Spain, 13/04/15. https://doi.org/10.1145/2695664.2695952

A concise specification language for trace monitoring. / Vorobyov, K.; Krishnan, P.; Stocks, P. A.

2015 Symposium on Applied Computing, SAC 2015. Association for Computing Machinery (ACM), 2015. p. 1637-1640.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

TY - GEN

T1 - A concise specification language for trace monitoring

AU - Vorobyov, K.

AU - Krishnan, P.

AU - Stocks, P. A.

PY - 2015/4/13

Y1 - 2015/4/13

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84955450709&partnerID=8YFLogxK

U2 - 10.1145/2695664.2695952

DO - 10.1145/2695664.2695952

M3 - Conference contribution

SP - 1637

EP - 1640

BT - 2015 Symposium on Applied Computing, SAC 2015

PB - Association for Computing Machinery (ACM)

ER -

Vorobyov K, Krishnan P, Stocks PA. A concise specification language for trace monitoring. In 2015 Symposium on Applied Computing, SAC 2015. Association for Computing Machinery (ACM). 2015. p. 1637-1640 https://doi.org/10.1145/2695664.2695952