Model checking as support for inspecting compliance to rules in flexible processes ?
Conformance checking of flexible processes with verbalization for human users. Properties verified can be expressed straightforwardly in controlled English. Update of abstract model to new real world situations. Hybrid Logic, to describe dynamics, and Description Logics, for concepts. Abstractions used by human users are shown in significant decisions.
compliance to rules flexible processes hybrid logics description logics dynamic condition response graph clinical guidelines