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

Business Process Compliance (Wintersemester 2019/2020)

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

Allgemeine Information

  • Semesterwochenstunden: 2
  • ECTS: 3
  • Benotet: Ja
  • Einschreibefrist: 01.10.-30.10.2019
  • Lehrform: Vorlesung / Übung
  • Belegungsart: Wahlpflichtmodul
  • Lehrsprache: Englisch

Studiengänge & Module

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

Voraussetzungen

Completed Bachelor's studies.

Literatur

  • 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.

Lern- und Lehrformen

Lecture and Exercises.

Leistungserfassung

Final Exam.

Termine

XXX

 

Exam on the XXX, XXX, Room: XXX

Zurück