Exploring the Alloy operational semantics for case management process modeling.