Diagnosis of Service Failures by Trace Analysis with Partial Knowledge

  • Wolfgang Mayer
  • Gerhard Friedrich
  • Markus Stumptner
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6470)


The identification of the source of a fault (“diagnosis”) of orchestrated Web service process executions is a task of growing importance, in particular in automated service composition scenarios. If executions fail because activities of the process do not behave as intended, repair mechanisms are envisioned that will try re-executing some activities to recover from the failure. We present a diagnosis method for identifying incorrect activities in service 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 solvers. Our evaluation demonstrates that the framework yields superior accuracy to classic dependency-based debugging methods on realistically-sized examples.


Behavior Relation Service Failure Activity Execution Process Execution Symbolic Model 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Ardissono, L., et al.: Enhancing web services with diagnostic capabilities. In: European Conference on Web Services (2005)Google Scholar
  2. 2.
    Casati, F., Ceri, S., Paraboschi, S., Pozzi, G.: Specification and implementation of exceptions in workflow management systems. ACM Trans. Database Syst. 24(3), 405–451 (1999)CrossRefGoogle Scholar
  3. 3.
    Cytron, R., et al.: Efficiently computing static single assignment form and the control dependence graph. ACM TOPLAS 13(4), 451–490 (1991)CrossRefGoogle Scholar
  4. 4.
    Friedrich, G., Fugini, M., Mussi, E., Pernici, B., Tagni, G.: Exception handling for repair in service-based processes. In: IEEE TSE (2010)Google Scholar
  5. 5.
    Gaaloul, W., Bhiri, S., Rouached, M.: Event-based design and runtime verification of composite service transactional behavior. IEEE TSC 3(1), 32–45 (2010)Google Scholar
  6. 6.
    King, J.C.: Symbolic execution and program testing. CACM 19(7), 385–394 (1976)MathSciNetCrossRefzbMATHGoogle Scholar
  7. 7.
    Kroening, D., Strichman, O.: Efficient computation of recurrence diameters. In: Zuck, L.D., Attie, P.C., Cortesi, A., Mukhopadhyay, S. (eds.) VMCAI 2003. LNCS, vol. 2575, pp. 298–309. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  8. 8.
    Liu, A., Li, Q., Huang, L., Xiao, M.: Facts: A framework for fault-tolerant composition of transactional web services. IEEE TSC 3(1), 46–59 (2010)Google Scholar
  9. 9.
    Mayer, W., Stumptner, M.: Evaluating models for model-based debugging. In: Proc. ASE, pp. 128–137. IEEE, Los Alamitos (2008)Google Scholar
  10. 10.
    Mehrotra, S., Rastogi, R., Korth, H.F., Silberschatz, A.: A transaction model for multidatabase systems. In: ICDCS, pp. 56–63 (1992)Google Scholar
  11. 11.
    Nica, M., Weber, J., Wotawa, F.: How to debug sequential code by means of constraint representation. In: Proc. DX Workshop (2008)Google Scholar
  12. 12.
    Rao, D., Jiang, Z., Jiang, Y.: Fault tolerant web services composition as planning. In: Proc. Int’l Conf.Intelligent Systems and Knoweldge Eng, ISKE 2007 (2007)Google Scholar
  13. 13.
    Reiter, R.: A theory of diagnosis from first principles. Artif. Intell. 23(1), 57–95 (1987)MathSciNetCrossRefzbMATHGoogle Scholar
  14. 14.
    Wotawa, F.: On the relationship between model-based debugging and program slicing. Artif. Intell. 135(1-2), 125–143 (2002)MathSciNetCrossRefzbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Wolfgang Mayer
    • 1
  • Gerhard Friedrich
    • 2
  • Markus Stumptner
    • 1
  1. 1.Advanced Computing Research CentreUniversity of South AustraliaAustralia
  2. 2.Alpen-Adria UniversitätAustria

Personalised recommendations