Humboldt-Universität zu Berlin - Faculty of Mathematics and Natural Sciences - Process-Driven Architectures

Veranstaltungen im Sommersemester 2015 / Courses Summer Term 2015

Analysis of Process-oriented Information Systems (5 LP)


Prof. Dr. Matthias Weidlich



This lecture focuses on concepts and methods for the analysis of process-oriented information systems. It will discuss techniques for qualitative as well as quantitative analysis of such systems by means of process models. In particular, the following topics will be covered: languages for business process modelling (BPMN, YAWL), formalisms for process modelling (Petri-Nets, Coloured Petri-Nets), model transformations for processes, verification of process models (Soundness criteria, logic-based compliance checking), quantitative process analysis (flow analysis, simulation), methods for process model collections (behaviour inheritance, behavioural similarity, clone detection).



The recitations will explore the lecture topics in more detail by means of theoretical exercises, tool-driven exercises, and the application of the discussed methods to case studies.

The course will be integrated in the sense that lectures and recitations are not bound to one of the course slots. In any case, recitations will be announced at least one week in advance.

The course will be given in English unless all students unanimously vote for German as the teaching language in the first lecture. The first lecture will take place on Thursday, 16th of April, 2015.



There will be an oral exam at the end of the semester. To be eligible to take the exam, each student will be required to give a short presentation (15min) in one of the recitations on one of the given exercises.


Credit Points

The course counts for 5 LP and is open for: Informatik, Master of Science (M.Sc.) Informatik, Master of Education (M.Ed.) Wirtschaftsinformatik, Master of Science (M.Sc.). The related area of specialisation is "Modellbasierter Systementwurf".



VL Do 13-16 RUD 26, Raum 1'303
UE Do 16-17 RUD 26, Raum 1'303




  1. Process Modelling Context
  2. Definition of Process Modelling Languages
  3. BPMN Orchestration and Choreography
  4. Petri Nets
  5. Language Transformations
  6. Soundness Criteria
  7. Soundness Checking Algorithms
  8. Compliance Checking
  9. Equivalence and Inheritance
  10. Process Model Similarity



  1. Exercise Sheet 1: Language Formalisation
  2. Exercise Sheet 2: BPMN Modelling
  3. Exercise Sheet 3: Interpreter Semantics
  4. Exercise Sheet 4: Transformations
  5. Exercise Sheet 5: Soundness
  6. Exercise Sheet 6: Structural Decomposition and k-Soundness (partial solution)
  7. Exercise Sheet 7: Inheritance
  8. Exercise Sheet 8: Additional Exercises


See AGNES for further details: