Process Mining and Verification of Properties: An Approach Based on Temporal Logic

By Wil M.P. van der Aalst, H. T. de Beer, Boudewijn van Dongen. OTM Conferences, 2005

369 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Information Systems, Management Information Systems

View Paper: https://www.semanticscholar.org/paper/a9a798976014247e8b25fea5f4874df550eb6516

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

In Information Systems

In Management Information Systems

Citations in the corpus

Conformance checking of processes based on monitoring real behavior (2008, methodology): “Related to conformance checking as presented in this paper is the checking of a temporal formula with respect to a log [32].”
DecSerFlow: Towards a Truly Declarative Service Flow Language (2006, methodology): “A similar approach can be followed by using the LTL checker in ProM [1].”
Enabling Flexibility in Process-Aware Information Systems (2012, methodology): “Another option to check for deviations of an execution log from the original model is provided by model checkers like LTL Checker [10] or Sciff Checker [220], which can be used to check whether certain properties hold for the log.”
Business process analysis in healthcare environments: A methodology based on process mining (2012, methodology): “For conformance checking one may use tools such as the Conformance Checker [31] and the LTL Checker [32].”
Genetic Process Mining (2005, methodology): “The analysis plug-in “LTL Checker” [10] uses linear temporal logic to verify properties in the log.”
Business process management (BPM) standards: a survey (2009, methodology): “It is clear that in both cases, the work is seen from the perspective of one of the partners (van der Aalst et al., 2005a, b).”
Towards comprehensive support for organizational mining (2008, background): “The concept of conformance and several measures are proposed in [1, 4, 43, 2, 25]”
Efficient Compliance Checking Using BPMN-Q and Temporal Logic (2008, methodology): “An automated approach to detect violations from workflow logs using LTL checkers was introduced in [26].”
Artifact-Centric Business Process Models: Brief Survey of Research Results and Challenges (2008, methodology): “In another direction, it would be useful to extend techniques for “process mining” [ 42 ] to an artifact-centric setting, where the artifacts might be discovered, or might be viewed as known prior to the mining activity.”