Detecting policy conflicts by model checking UML state machines
Maurice H. ter Beek, Stefania Gnesi, Carlo Montangero, Laura Semini · IOS Press eBooks · 2009
Policies are convenient means to modify system behaviour at run-time. Nowadays, policies are created in great numbers by different actors, ranging from system administrators to lay-users. However, this situation may lead naturally to inconsistencies, a problem that has been recognized and termed policy conflict.