On compliance checking for clausal constraints in annotated process models

Jörg Hoffmann, Ingo Weber, Guido Governatori. On compliance checking for clausal constraints in annotated process models. Information Systems Frontiers, 14(2):155-177, 2012. [doi]

Abstract

Abstract is missing.