Search
Now showing items 1-3 of 3
-
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 ... -
A hybrid approach to clinical guideline and to basic medical knowledge conformance
(Springer, 2009)Several computer-based approaches to Clinical Guidelines have been developed in the last two decades. However, only recently the community has started to cope with the fact that Clinical Guidelines are just a part of the ...