Print

Demonstration prototype: An automated framework for the runtime verification and correction of business processes

Demonstration prototype of an automated framework for the runtime verification and correction of business processes. It involves automated planning, continuous runtime interference monitoring. The goal is to guarantee continuous correctness of process execution in any distributed environment.

Contact

Hans Wortmann (University of Gronginen)