Search
Now showing items 1-2 of 2
-
Checking compliance of execution traces to business rules
(Springer, 2009)Complex and flexible business processes are critical not only because they are difficult to handle, but also because they often tend to loose their intelligibility. Verifying compliance of complex and flexible processes ... -
Exploiting inductive logic programming techniques for declarative process mining
(Springer, 2009)In the last few years, there has been a growing interest in the adoption of declarative paradigms for modeling and verifying process models. These paradigms provide an abstract and human understandable way of specifying ...