Business Process Management (SS2010)

The lecture introduces advanced topics in Business Process Management (BPM). In particular, the formal side of BPM is investigated. In the first part, we focus on the generic formalization aspects including syntax and semantics of process languages. Based thereon, basic notions for formal analysis of process models are investigated. Finally, a set of existing techniques for analyzing concrete properties is introduced.

The following topics are covered in the lecture:

1. Introduction and Motivation
2. Formal Foundations of BPM
3. Model Checking Basics & Temporal Logics
4. Applications
• Process Compliance Checking
• Operating Guidelines 
• Analyzing BPEL Processes

Completed Bachelor studies.

Lecture / Assignments

• Arthur H. M. ter Hofstede, Henderik Alex Proper: How to formalize it?: Formalization principles for information system development methods. Information & Software Technology (INFSOF) 40(10):519-540 (1998)
• E. M. Clarke, Orna Grumberg, Doron Peled: Model checking. MIT Press (2000).
• C. Baier, J.-P. Katoen: Principles of Model Checking. MIT Press (2008).
• P. Massuthe, W. Reisig, K. Schmidt: An Operating Guideline Approach to the SOA. Annals of Mathematics, Computing & Teleinformatics 1 (3) (2005).

• Final Examination

The credit points can only be given if this exam is passed with at least mark 4.0.

First Lecture:  HS 3, 9:15am, 26th April 2010

Takes place regualary in room A-2.1

4 L 1106

2

3 (benotet)

14.5.2010

IT Systems Engineering (Master)

Wahlfach

Enterprise Systems Technology, Systems Architecture, Systems Integration