{Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic}