@inbook{0ac1e05073374452b94dd7cc2ea2b1fc,
title = "Monitoring events that carry data",
abstract = "Very early runtime verification systems focused on monitoring what we can refer to as propositional events: just names of events. For this, finite state machines, standard regular expressions, or propositional temporal logics were sufficient formalisms for expressing properties. However, in practice there is a need for monitoring events that in addition carry data arguments. This adds complexity to both the property specification languages, and monitoring algorithms, which is reflected in the many alternative such approaches suggested in the literature. This chapter presents five different formalisms and monitoring approaches that support specifications with data, in order to illustrate the challenges and various solutions.",
keywords = "Data rich events, Rule systems, Runtime verification, State machines, Stream processing, Temporal logic",
author = "Klaus Havelund and Giles Reger and Daniel Thoma and Eugen Z{\u a}linescu",
year = "2018",
month = jan,
day = "1",
doi = "10.1007/978-3-319-75632-5_3",
language = "English",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Nature",
pages = "61--102",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
address = "United States",
}