Learn More
Process mining techniques are able to extract knowledge from event logs commonly available in today’s information systems. These techniques provide new means to discover, monitor, and improve processes in a variety of application domains. There are two main drivers for the growing interest in process mining. On the one hand, more and more events are being(More)
Process mining aims at extracting information from event logs to capture the business process as it is being executed. Process mining is particularly useful in situations where events are recorded but there is no system enforcing people to work in a particular way. Consider for example a hospital where the diagnosis and treatment activities are recorded in(More)
Many activities in business process management, such as process retrieval, process mining, and process integration, need to determine the similarity or the distance between two processes. Although several approaches have recently been proposed to measure the similarity between business processes, neither the definitions of the similarity notion between(More)
1 School of Software, Tsinghua University, 100084, Beijing, China 2 Key Laboratory for Information System Security, Ministry of Education 3 Tsinghua National Laboratory for Information Science and Technology, China jimwang@tsinghua.edu.cn,{htf08,wenlj00,chp04}@mails.thu.edu.cn 4 Queensland University of Technology, Brisbane, Australia(More)
The Business Process Modeling Notation (BPMN) is an emerging standard for capturing business processes. However, BPMN lacks a formal semantics and many of its features are subject to interpretation, which is hindered the BPMN as a standard to statically check the semantic correctness of models. The fact that BPMN integrates constructs from graph-oriented(More)
In workflow management systems (WFMSs), time management plays an essential role in controlling the lifecycle of business processes. Especially, run-time analysis of time constraints is necessary to help process manger proactively detect possible deadline violations and appropriately handle these violations. Traditional time constraint analyses either(More)
For obtaining timely responses in workflow management systems, we must design a schedule of task executions in a timely manner with respect to imposed timing constraints. We call the procedure of verifying that a schedule satisfies the timing constraints as timing schedulability analysis. Traditional work proposed for schedulability analysis only give(More)
Business process management technology is becoming increasingly popular, resulting in more and more business process models being created. Hence, there is a need for these business process models to be managed effectively. For effective business process model management, being able to efficiently query large amount of business process models is essential.(More)