Speaker: Frank Puhlmann (Universiteit Potzdam)
Title: On the Application of the Pi-Calculus to Business 
       Process Management
 
Abstract:
We introduce the application of a theory for mobile systems, the 
pi-calculus, to Business Process Management (BPM). BPM aims at 
designing, enacting, managing, analyzing, and adapting business 
processes. Our research focuses on design and analysis of business 
processes. We show how the pi-calculus can be used to formalize 
workflow patterns typically found in intra-organizational business 
processes (called orchestrations), as well as service interaction 
patterns required for inter-organizational business processes 
(choreographies). Formalized business processes made up of these 
patterns are then analyzed using bisimulation techniques. In particular, 
we introduce lazy and interaction soundness. We assume no prior 
knowledge of the pi-calculus, however basic BPM knowledge is assumed.