We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
Programming event monitors.
- Authors
Havelund, Klaus; Holzmann, Gerard J.
- Abstract
Specification languages for runtime verification are commonly rooted in formal languages, such as temporal logic, automata, or regular expressions. We argue that, for practical purposes, specification languages for monitoring should allow language features similar to those found in general purpose programming languages, in addition to providing specialized monitoring constructs. Using a realistic and large event-log, we compare two such programming-oriented monitoring language systems to a temporal logic-based monitoring system that was previously evaluated on the same log. The first programming-oriented language is a library in Scala developed for runtime verification. The other language is a scripting language, originally developed for fast static code analysis. We formulate the same reasonably complex properties as in the temporal logic case, using both methods, and compare the efficiency with which they can be checked against the large event log, and the ease with which the properties can be formulated.
- Subjects
FORMAL languages
- Publication
International Journal on Software Tools for Technology Transfer, 2024, Vol 26, Issue 1, p33
- ISSN
1433-2779
- Publication type
Article
- DOI
10.1007/s10009-023-00706-1