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
diagnostic algorithm, process diagnosis
(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.
The Prognostic and Health Management Society advocates open-access to scientific data and uses a Creative Commons license for publishing and distributing any papers. A Creative Commons license does not relinquish the author’s copyright; rather it allows them to share some of their rights with any member of the public under certain conditions whilst enjoying full legal protection. By submitting an article to the International Conference of the Prognostics and Health Management Society, the authors agree to be bound by the associated terms and conditions including the following:
As the author, you retain the copyright to your Work. By submitting your Work, you are granting anybody the right to copy, distribute and transmit your Work and to adapt your Work with proper attribution under the terms of the Creative Commons Attribution 3.0 United States license. You assign rights to the Prognostics and Health Management Society to publish and disseminate your Work through electronic and print media if it is accepted for publication. A license note citing the Creative Commons Attribution 3.0 United States License as shown below needs to be placed in the footnote on the first page of the article.
First Author et al. This is an open-access article distributed under the terms of the Creative Commons Attribution 3.0 United States License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.