On computing correct processes and repairs sing 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.

[1]  Alban Grastien,et al.  Diagnosis of Discrete Event Systems Using Satisfiability Algorithms: A Theoretical and Empirical Study , 2007, IEEE Transactions on Automatic Control.

[2]  Pietro Torasso,et al.  A Theory of Diagnosis for Incomplete Causal Models , 1989, IJCAI.

[3]  Liliana Ardissono,et al.  Enhancing Web services with diagnostic capabilities , 2005, Third European Conference on Web Services (ECOWS'05).

[4]  Dantong Ouyang,et al.  Model-Based Diagnosis of Discrete Event Systems with an Incomplete System Model , 2008, ECAI.

[5]  Johan de Kleer,et al.  Diagnosis with Incomplete Models: Diagnosing Hidden Interaction Faults , 2010, AAAI Spring Symposium: Embedded Reasoning.

[6]  Georg Gottlob,et al.  The Complexity of Logic-Based Abduction , 1993, STACS.

[7]  Philippe Dague,et al.  A Model-Based Approach for Diagnosing Fault in Web Service Processes , 2009, Int. J. Web Serv. Res..

[8]  Raymond H. Kwong,et al.  Fault Diagnosis in Discrete-Event Systems: Incomplete Models and Learning , 2005, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[9]  Maria Grazia Fugini,et al.  Exception Handling for Repair in Service-Based Processes , 2010, IEEE Transactions on Software Engineering.

[10]  Markus Stumptner,et al.  Diagnosing Process Trajectories Under Partially Known Behavior , 2010, ECAI.

[11]  Franz Wotawa,et al.  On the relationship between model-based debugging and program slicing , 2002, Artif. Intell..

[12]  Sheila A. McIlraith.  Explanatory Diagnosis: Conjecturing Actions to Explain Observations , 1998, KR.