Exploring the Alloy operational semantics for case management process modeling | IEEE Conference Publication | IEEE Xplore