Home | english  | Impressum | Datenschutz | Sitemap | KIT

Special Issues and Challenges in Workflowmanagement

Special Issues and Challenges in Workflowmanagement
Typ: Seminar (S)
Semester: SS 2018

17.04.2018, 13:00 - 14:00 Uhr,

SR 348 (3. Stock)
50.34 Informatik, Kollegiengebäude am Fasanengarten

Dozent: Jutta Mülle
Prof. Dr.-Ing. Klemens Böhm
Elaheh Ordoni
LVNr.: 2400109

Registration at Secretariat Prof. Böhm R367, or E-Mail: sekretariat.boehm@ipd.kit.edu


Workflow Management Systems are important to model and automate processes in a variety of application domains, such as business, production lines, vehicle configuration and testing, virtual enterprises, energy markets, applications with privacy requirements. Those systems support the lifecycle of business processes, i.e., design and analysis, configuration, execution and evaluation. Current trends in research concern all these phases. They are driven by innovations like cloud infrastructures, expansion of workflow technology to new application domains, requirements of improved flexibility and adaptability of processes, enhanced influence of data on workflows, process mining and verification techniques to achieve higher quality of business processes and approaches to allow for generating processes and learn from existing collections of workflows. In this seminar we are going to analyse recent research on workflow management


  • Modelling and Verifying Workflows with Data
  • Verification in Probabilistic Systems
  • Privacy-Enhanced Workflows and Compliance Processes
  • Visually Monitoring Business Process Compliance
  • Cloud-based, Compliant Business Processes
  • Block-Chains for Business Process Management


How-to-Present Bad Example


Thursday 21.06.2018, 9:45 - 11:15, SR 348, Building 50.34

Topic 1: Blockchain & Business Process Management. Anastasia Maklashevskikh

Topic 2:  A Blockchain-Based BPM System. Adrian Kruck


Thursday 28.06.2018, 9:15- 11:15, SR 348, Building 50.34

Topic 4: Probabilistic Model Description. Ursule Mbarga

Topic 5: Verification Methods with Probabilistic Logics. David Gottwald

Topic 8: Modeling the  Auction Format  “CCA” as BPMN Workflow. Björn Ehrlinspiel