Hasso-Plattner-Institut20 Jahre HPI
Hasso-Plattner-Institut20 Jahre HPI
  
Login
 

Business Process Compliance (Wintersemester 2019/2020)

Lecturer: Prof. Dr. Mathias Weske (Business Process Technology) , Stephan Haarmann (Business Process Technology)

General Information

  • Weekly Hours: 2
  • Credits: 3
  • Graded: yes
  • Enrolment Deadline: 01.10.-30.10.2019
  • Teaching Form: Lecture / Exercise
  • Enrolment Type: Compulsory Elective Module
  • Course Language: English

Programs & Modules

IT-Systems Engineering MA
  • BPET-Konzepte und Methoden
  • BPET-Spezialisierung
  • BPET-Techniken und Werkzeuge
  • OSIS-Konzepte und Methoden
  • OSIS-Spezialisierung
  • OSIS-Techniken und Werkzeuge
  • ITSE-Analyse
  • ITSE-Entwurf
  • ITSE-Konstruktion
  • ITSE-Maintenance

Requirements

Completed Bachelor's studies.

Literature

  • K. Wolf: Computergestützte Verifikation (HU Berlin / U Rostock)
  • Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, 1999.
  • Baier, C, Katoen, J.-P.: Principles of Model Checking.
  • Matthew B. Dwyer, George S. Avrunin, and James C. Corbett. Patterns in property specifications for finite-state verification. In ICSE, pages 411-420, 1999.
  • Ahmed Awad, Matthias Weidlich, and Mathias Weske. Specification, Verification and Explanation of Violation for Data Aware Compliance Rules. In ICSOC, pp 500-515, 2009.
  • David Knuplesch, Linh Thao Ly, Stefanie Rinderle-Ma, Holger Pfeifer, Peter Dadam: On Enabling Data-Aware Compliance Checking of Business Process Models. ER 2010.
  • Ahmed Awad, Rajeev Gore, James Thomson, and Matthias Weidlich. An Iterative Approach for Business Process Template Synthesis from Compliance Rules. In CAISE 2011.

Learning

Lecture and Exercises.

Examination

Final Exam.

Dates

XXX

 

Exam on the XXX, XXX, Room: XXX

Zurück