Diagnosing Process Trajectories Under Partially Known Behavior



Published Oct 11, 2010
Gerhard Friedrich Wolfgang Mayer Markus Stumptner


Diagnosis of process executions is an important task in many application domains, especially in the area of workflow management systems and orchestrated Web Services. If executions fail because activities of the process do not behave as intended, recovery procedures re-execute some activities to recover from the failure. We present a diagnosis method for identifying incorrect activities in process executions. Our method is novel both in that it does not require exact behavioral models for the activities and that its accuracy improves upon dependency-based methods. Observations obtained from partial executions and re executions of a process are exploited. We formally characterize the diagnosis problem and develop a symbolic encoding that can be solved using constraint logic programming techniques. Our evaluation demonstrates that the framework yields superior accuracy to dependency-based methods on realistically-sized examples.

How to Cite

Friedrich, G. ., Mayer, W. ., & Stumptner, M. . (2010). Diagnosing Process Trajectories Under Partially Known Behavior. Annual Conference of the PHM Society, 2(2). https://doi.org/10.36001/phmconf.2010.v2i1.1944
Abstract 117 | PDF Downloads 123



diagnostic algorithm, process diagnosis

(Ardissono et al., 2005) L. Ardissono, L. Console, A. Goy, G. Petrone, C. Picardi, M. Segnan, and D. Theseider Dupre ́. Enhancing web services with diagnostic capabilities. In Proc. ECWS, 2005.

(Biswas, 2004) Debmalya Biswas. Compensation in the world of web services composition. In SWSWPC, pages 69–80, San Diego, 2004.

(Cytron and others, 1991) Ron Cytron et al. Efficiently computing static single assignment form and the control dependence graph. ACM TOPLAS, 13(4):451–490, 1991.

(Friedrich et al., 2010) G. Friedrich, M. Fugini, E. Mussi, B. Pernici, and G. Tagni. Exception handling for repair in service-based processes. IEEE TSE, 2010.

(King, 1976) James C. King. Symbolic execution and program testing. CACM, 19(7):385–394, 1976.

(Kroening and Strichman, 2003) D. Kroening and O. Strichman. Efficient computation of recurrence diameters. In VMCAI, volume 2575 of LNCS, pages 298–309, 2003.

(Mayer and Stumptner, 2008) Wolfgang Mayer and Markus Stumptner. Evaluating models for model- based debugging. In Proc. ASE, pages 128–137. IEEE, 2008.

(McIlraith, 1998) Sheila A. McIlraith. Explanatory diagnosis: Conjecturing actions to explain observations. In KR, pages 167–179, 1998.

(Nica et al., 2008) M. Nica, J. Weber, and F. Wotawa. How to debug sequential code by means of constraint representation. In Proc. DX Workshop, 2008.

(Pencole ́ and Cordier, 2005) Yannick Pencole ́ and Marie-Odile Cordier. A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks. Artif. Intell., 164(1-2):121–170, 2005.

(Reiter, 1987) R. Reiter. A theory of diagnosis from first principles. Artif. Intell., 23(1):57–95, 1987.

(Wotawa, 2002) F. Wotawa. On the relationship between model-based debugging and program slicing. Artif. Intell., 135(1-2):125–143, 2002.

(Yan et al., 2009) Y. Yan, P. Dague, Y. Pencole ́, and M. Cordier. A model-based approach for diagnosing fault in web service processes. Int. J. Web Service Res., 6(1):87–110, 2009.
Technical Research Papers