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_logic2 [2009/05/25 12:28] (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\\
 +//In R. Meersman and Z. Tari et al., editors, On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE: OTM Confederated International Conferences,​ CoopIS, DOA, and ODBASE 2005, volume 3760 of Lecture Notes in Computer Science, pages 130-147. Springer-Verlag,​ Berlin, 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 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//.
 +
 +===== Links =====
 +
 +{{publications:​Aalst2005f.pdf|Download PDF}} (407 KB)