On computing correct processes and repairs using partial behavioral models

摘要

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.