This thesis is about process mining: the analysis an organization's processes by using
process execution data. During the handling of a case or process instance data about the …

Process discovery is the automated construction of structured process models from
information system event logs. Such event logs often contain positive examples only …

Many novel application scenarios and architectures in business process management or
service composition are characterized by a distribution of activities and resources, and by …

Today's business processes are realized by a complex sequence of tasks that are performed
throughout an organization, often involving people from different departments and multiple …

In the last few years, there has been a growing interest in the adoption of declarative
paradigms for modeling and verifying process models. These paradigms provide an abstract …

The business process literature has proposed a multitude of business process modelling
approaches or paradigms, each in response to a different business process type with a …

Processes as one of the valuable knowledge resources can create sustainable competitive
advantages in organizations. There is a large number of processes in organizations. They …

Compliance constrains processes to adhere to rules, standards, laws and regulations. Non-
compliance subjects enterprises to litigation and financial fines. Collaborative business …

An approach for distinguishing a business rule from a non-business rule in a computer
program is provided. A rule in the program is identified based on a conditional statement …

Business organizations achieve their mission by performing a number of processes. These
span from simple sequences of actions to complex structured sets of activities with complex …