Model checking as support for inspecting compliance to rules in flexible processes

摘要

Context: In backing business processes with information technology, a difficult trade-off appears between the desire to control processes for avoiding undesirable executions, and the flexibility that users need in order to attain their higher level goals. While this is a general trend in general business processes, it is even more acute in specific domains like the medical area, where the clinical guidelines are expected to contribute to the optimization of medical assistance.