Warning: Parameter 1 to Language::getMagic() expected to be a reference, value given in /usr/share/mediawiki/includes/StubObject.php on line 58
Workshop:Workflows – GRK-Wiki


Aus GRK-Wiki

Wechseln zu: Navigation, Suche


2. Metrik-Workshop: B.E.S.T meets Metrik

Das Graduiertenkolleg Metrik lädt am 18. und 19. Dezember zum Workshop B.E.S.T meets Metrik ein.

Das Berlin Eindhoven Service Technology Program (B.E.S.T) ist eine Kooperation der Technische Universiteit Eindhoven mit der Humboldt-Universität zu Berlin und der Universität Rostock im Bereich der Service Technologie wie Service Orientierter Architektur und Web Services. B.E.S.T website


  • Datum: 18. und 19. Dezember 2006
  • Ort: Humboldt-Universität zu Berlin, Institut für Informatik, Rudower Chaussee 25


18. Dezember
9:00-12:00 Humboldt-Kabinett

Prof. Kees van Hee : Choreographies in Service Oriented Architecture
Dr. Marc Voorhoeve : Composition of Workflows
Dr. Natalia Sidorova : Verification of Adaptive Workflow Nets by Abstraction

19. Dezember
9:00-12:00 Humboldt-Kabinett

Prof. Wil v.d. Aalst : Process Mining - an Overview
Dr. Eric Verbeek : The Process Mining Framework ProM
Dr. Alexander Serebrenik : History and Temporal Logic in Workflows


Prof. Kees van Hee : Choreographies in Service Oriented Architecture

Architecture is a hot topic in the software industry. SOA is a style of architecture where components play an essential role. Most architectural frameworks focus on the componet structure of a system. Very little attention is paid to the behavioral aspect and to the data structures. In the talk we present an architectural framework in which the three essential elements of an architecture (components structure, process structure and information structure) are treated as first class citizens. We will formulate correctness criteria for architectures that can be checked in architectural tools.

Dr. Marc Voorhoeve: Composition of Workflows

An approach is sketched where components interact by synchronous communication. The interaction patterns can be represented graphically, generalizing Petri nets. We give some examples in the workflow domain.

Dr. Natalia Sidorova: Verification of Adaptive Workflow Nets by Abstraction

We consider adaptive workflow nets, a subclass of nested Petri nets that allows more comfort and expressive power for modelling adaptation and exception handling in workflow nets. We define two important behavioural properties of adaptive workflow nets: soundness and circumspectness. Soundness means that a proper final marking (state) can be reached from any marking which is reachable from the initial marking, and no garbage will be left. Circumspectness means that the upper layer is always ready to handle any exception that can happen in a lower layer. Since adaptive workflow nets can have an infinite state space, we use an abstraction to reduce the problem of verifying soundness and circumspectness to a finite one.

Prof. Wil van der Aalst: Process Mining - an Overview

In his talk, Wil van der Aalst gives an overview of the various process mining techniques that have been developed in the last 10 year. He will show the different applications of process mining: from the reverse engineering of code and the monitoring of embedded systems to cross-organizational workflows and health-care processes. He will also describe the capabilities of the various process mining techniques recently developed and discuss the many challenges that remain. The focus will be on the mining of concurrent processes, i.e., based on incomplete and noisy logs it is possible to discover process models allowing for concurrency (e.g., Petri nets). All of this will be illustrated by ProM a toolset that is not limited to process mining but also supports model transformation and verification.

Dr. Eric Verbeek: The Process Mining Framework ProM

Originally the ProM framework was developed as a design artifact for the process mining domain, i.e., extracting process models from event logs. However, in recent years the scope of the framework has become broader and now includes process verification, social network analysis, conformance checking, verification based on temporal logic, etc. Moreover, the framework supports a wide variety of process models, e.g., Petri nets, Event-driven Process Chains (EPCs), Heuristics nets, YAWL models, and is plug-able, i.e., people can add plug-ins without changing the framework itself. This makes the ProM framework an interesting environment for model interoperability. For example, people can take transaction log from IBM's WebSphere, discover a process model in terms of a heuristics net, convert the heuristics net to a Petri net for analysis, load an EPC defined using the ARIS toolset, verify the EPC and convert it to a Petri net, determine the fitness of the ARIS model given the transaction log from WebSphere, and finally convert both models to a YAWL specification that is exported. Such application scenarios are supported by ProM and demonstrate true model interoperability.

Dr. Alexander Serebrenik: History and Temporal Logic in Workflows

Choices in business processes are often based on the process history saved as a log-file listing events and their time stamps. In this paper we introduce LL, a finite-path variant of the Timed Propositional Temporal Logic with Past, which can be in particular used for specifying guards in business process models. The novelty is due to the presence of boundary points corresponding to the starting and current observation points, which gives rise to a three-valued logic allowing to distinguish between temporal formulas that hold for any log extended with some possible past and future (true), those that do not hold for any extended log (false) and those that hold for some but not all extended logs (unknown). We reduce the check of the truth value of a LL formula to a check on a finite abstraction and present an evaluation algorithm. We also define LL patterns for commonly occurring properties.


Talk of Kees van Hee Talk of Marc Voorhoeve Discussion, Karsten Wolf, marc Voorhoeve Talk of Wil van der Aalst Talk of Eric Verbeek Talk of Eric Verbeek Talk of Alexander Serebrenik

Persönliche Werkzeuge