Process mining and verification of properties : an approach based on temporal logic

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

187 Citaten (Scopus)

Samenvatting

Information systems are facing conflicting requirements. On the one hand, systems need to be adaptive and self-managing to deal with rapidly changing circumstances. On the other hand, legislation such as the Sarbanes-Oxley Act, is putting increasing demands on monitoring activities and processes. As processes and systems become more flexible, both the need for, and the complexity of monitoring increases. Our earlier work on process mining has primarily focused on process discovery, i.e., automatically constructing models describing knowledge extracted from event logs. In this paper, we focus on a different problem complementing process discovery. Given an event log and some property, we want to verify whether the property holds. For this purpose we have developed a new language based on Linear Temporal Logic (LTL) and we combine this with a standard XML format to store event logs. Given an event log and an LTL property, our LTL Checker verifies whether the observed behavior matches the (un)expected/(un)desirable behavior.
Originele taal-2Engels
TitelOn the move to meaningful Internet systems 2005: CoopIS, DOA, and ODBASE : OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005; proceedings : part 1
RedacteurenR. Meersman, Z. Tari
Plaats van productieBerlin
UitgeverijSpringer
Pagina's130-147
ISBN van geprinte versie978-3-540-29736-9
DOI's
StatusGepubliceerd - 2005

Publicatie series

NaamLecture Notes in Computer Science
Volume3760
ISSN van geprinte versie0302-9743

Vingerafdruk Duik in de onderzoeksthema's van 'Process mining and verification of properties : an approach based on temporal logic'. Samen vormen ze een unieke vingerafdruk.

  • Citeer dit

    Aalst, van der, W. M. P., Beer, de, H. T., & Dongen, van, B. F. (2005). Process mining and verification of properties : an approach based on temporal logic. In R. Meersman, & Z. Tari (editors), On the move to meaningful Internet systems 2005: CoopIS, DOA, and ODBASE : OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005; proceedings : part 1 (blz. 130-147). (Lecture Notes in Computer Science; Vol. 3760). Springer. https://doi.org/10.1007/11575771_11