Engineering of knowledge-intensive processes is far from being mastered. Processes are
defined knowledge-intensive when people/agents carry them out in a fair degree of …

The declarative specification of business processes is based upon the elicitation of
behavioural rules that constrain the legal executions of the process. The carry-out of the …

Service-oriented computing, an emerging paradigm for architecting and implementing
business collaborations within and across organizational boundaries, is currently of interest …

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 mining techniques can be used to effectively discover process models from logs
with example behaviour. Cross-correlating a discovered model with information in the log …

Declarative process models define the behaviour of business processes as a set of
constraints. Declarative process discovery aims at inferring such constraints from event logs …

Artful processes are those processes in which the experience, intuition, and knowledge of
the actors are the key factors in determining the decision making. They are typically carried …

Abstract Machine learning (ML) provides algorithms to create computer programs based on
data without explicitly programming them. In business process management (BPM), ML …

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

The behavioural comparison of systems is an important concern of software engineering
research. For example, the areas of specification discovery and specification mining are …