A Logical Framework for Exception Handling in ADOME Workflow Management System · Study