Differences

This shows you the differences between two versions of the page.

Link to this comparison view

blogs:pub2005:process_mining_and_verification_of_properties_an_approach_based_on_temporal_logic [2009/05/25 12:15] (current)
Line 1: Line 1:
 +====== Process mining and Verification of properties: an approach based on temporal logic ======
 +
 +W.M.P. van der Aalst, H.T. de Beer and B.F. van Dongen\\
 +//BETA Working Paper Series, WP 136, Eindhoven University of Technology, Eindhoven, 2005//\\
 +
 +===== Abstract =====
 +
 +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 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//.
 +
 +===== Links =====
 +
 +{{publications:​Aalst2005c.pdf|Download PDF}} (506 KB)
 +
 +
 +