On computing correct processes and repairs sing partial behavioral models
Wolfgang Mayer, GERHARD E. FRIEDRICH, Markus Stumptner · Frontiers in artificial intelligence and applications · 2012
Diagnosis and repair of failed process executions is an important task for almost any process oriented application. Because in practice complete specifications of process activities are not available, diagnosis and repair methods for partial behavior models are of great importance. We show that if the assumption of complete behavioral models is lifted, basic diagnosis and repair problems reside on the second level of the Polynomial Hierarchy.