Veranstaltungen im Sommersemester 2015 / Courses Summer Term 2015
Analysis of Process-oriented Information Systems (5 LP)
Prof. Dr. Matthias Weidlich
Content
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).
Structure
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.
Exam
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".
Dates
| VL | Do 13-16 | RUD 26, Raum 1'303 |
| UE | Do 16-17 | RUD 26, Raum 1'303 |
Lectures
- Process Modelling Context
- Definition of Process Modelling Languages
- BPMN Orchestration and Choreography
- Petri Nets
- Language Transformations
- Soundness Criteria
- Soundness Checking Algorithms
- Compliance Checking
- Equivalence and Inheritance
- Process Model Similarity
Recitations
- Exercise Sheet 1: Language Formalisation
- Exercise Sheet 2: BPMN Modelling
- Exercise Sheet 3: Interpreter Semantics
- Exercise Sheet 4: Transformations
- Exercise Sheet 5: Soundness
- Exercise Sheet 6: Structural Decomposition and k-Soundness (partial solution)
- Exercise Sheet 7: Inheritance
- Exercise Sheet 8: Additional Exercises
See AGNES for further details:
- M.Sc. 3313100 (VL) and 3313101 (UE)
- ÜWP: 3313100ü (VL) and 3313101ü (UE)