BPM Spot

Articles and Talks

A short introduction to Business Process Management: Design & Analysis

Business process management, abbreviated as BPM, provides the surrounding and the toolbox required for the precise definition of business processes: A business process is a process that creates a value or result for a customer. The scope of BPM is quite wide, since it reaches from theoretical economists over practitioners up to computer scientists. Throughout this introduction, we stick to the following definition: Business process management refers to an integrated set of activities for designing, analyzing, deploying, enacting, managing, evaluating, and optimizing business processes. [Continue...]

Case Management mit inubit (in German)

In this talk given at Bosch Software Innovation's iDay in Berlin, Germany (Oct 14th, 2014), I gave an introduction into the different kinds of Case Management and their distinction to traditional BPM.


A short introduction to the pi-calculus

This is a short introduction to the pi-calculus for readers unfamiliar with process algebra. It informally introduces the basic concepts of the pi-calculus and allows for getting a grasp of the formulas. The pi-calculus is based on the concepts of names and agents. A name is a collective term for things like links, pointers, references, identifiers and so on. These names could be used to synchronize actions between a community of concurrent agents. Each agent represents a process; a description of a timely and logical sequence of things to do. When one agent wants to talk to another agent they use a common name for communication. [Continue...]

The Workflow Patterns in Asynchronous Pi-Calculus

This article describes the representation of the Workflow Patterns in the asynchronous pi-calculus. The asynchronous pi-calculus only supports asynchronous communication. This kind of communication uses a "medium" for transfering information among agents. Since it is inherent to the medium that it cannot be observed if—or when—the information is delivered, nothing else than inaction is allowed to appear after a send prefix. To keep a straight implementation of the asynchronous idea, also unguarded output actions are disallowed in summations. If they would be allowed, all information contained in a summation had to be offered via the "medium", but some (the non-selected) had to be withdrawn afterwards. Since this is difficult (especially in real environments), it is left out. [Continue...]

Recommended Theses

Ein Framework für Production Case Management

Agile BPM-Projektmethodik: Entwurf eines Frameworks zur agilen Umsetzung von BPM-Projekten

Approaching the Distributed Simulation of Related Business Processes

Automated Generation of Business Process Models from Natural Language Input


On the Application of the Pi-Calculus to Business Process Management

A Visual Environment for the Simulation of Business Processes based on the Pi-Calculus

Eine virtuelle Maschine für den π-Kalkül zur Implementierung von Ressourcen mit dynamischen Verhalten


Lecture slides on the pi-calculus and BPM

BPM stencils

Process Models

Production Case Management by Example (slides)