In earlier work we have argued that formal process definitions can be useful in improving our understanding and performance of software development processes. There has, however,...
Abstract. This paper addresses the problem of analyzing the interaction between BPEL processes. We present a technology chain that starts out with a BPEL process and transforms it ...
Niels Lohmann, Peter Massuthe, Christian Stahl, Da...
Abstract. Incremental workflow mining is a technique for automatically deriving a process model from the on-going executions of a process. This way, the process model becomes more ...
A common assumption for many process-centred support environments is that they provide the same process support at different levels of the organization. We believe that the requir...
Process mining techniques allow for extracting information from event logs. For example, the audit trails of a workflow management system or the transaction logs of an enterprise ...