Abstract
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.
Chapter PDF
Similar content being viewed by others
Keywords
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.
References
Ardissono, L., et al.: Enhancing web services with diagnostic capabilities. In: European Conference on Web Services (2005)
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)
Cytron, R., et al.: Efficiently computing static single assignment form and the control dependence graph. ACM TOPLAS 13(4), 451–490 (1991)
Friedrich, G., Fugini, M., Mussi, E., Pernici, B., Tagni, G.: Exception handling for repair in service-based processes. In: IEEE TSE (2010)
Gaaloul, W., Bhiri, S., Rouached, M.: Event-based design and runtime verification of composite service transactional behavior. IEEE TSC 3(1), 32–45 (2010)
King, J.C.: Symbolic execution and program testing. CACM 19(7), 385–394 (1976)
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)
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)
Mayer, W., Stumptner, M.: Evaluating models for model-based debugging. In: Proc. ASE, pp. 128–137. IEEE, Los Alamitos (2008)
Mehrotra, S., Rastogi, R., Korth, H.F., Silberschatz, A.: A transaction model for multidatabase systems. In: ICDCS, pp. 56–63 (1992)
Nica, M., Weber, J., Wotawa, F.: How to debug sequential code by means of constraint representation. In: Proc. DX Workshop (2008)
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)
Reiter, R.: A theory of diagnosis from first principles. Artif. Intell. 23(1), 57–95 (1987)
Wotawa, F.: On the relationship between model-based debugging and program slicing. Artif. Intell. 135(1-2), 125–143 (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mayer, W., Friedrich, G., Stumptner, M. (2010). Diagnosis of Service Failures by Trace Analysis with Partial Knowledge. In: Maglio, P.P., Weske, M., Yang, J., Fantinato, M. (eds) Service-Oriented Computing. ICSOC 2010. Lecture Notes in Computer Science, vol 6470. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-17358-5_23
Download citation
DOI: https://doi.org/10.1007/978-3-642-17358-5_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-17357-8
Online ISBN: 978-3-642-17358-5
eBook Packages: Computer ScienceComputer Science (R0)