{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,10]],"date-time":"2026-06-10T16:57:24Z","timestamp":1781110644639,"version":"3.54.1"},"reference-count":34,"publisher":"IGI Global Scientific Publishing","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,1,1]]},"abstract":"<p>Web service orchestration languages are de?ned to describe business processes composed of Web services. A business process can fail for many reasons, such as faulty Web services or mismatching messages. It is important to ?nd out which Web services are responsible for a failed business process because we could penalize these Web services and exclude them from the business process in the future. In this paper, we propose a model-based approach to diagnose the faults in a Web service-composed business process. We convert a Web service orchestration language, BPEL4WS, into synchronized automata, so that we have a formal description of the topology and variable dependency of the business process. After an exception is thrown, the diagnoser can calculate the business process execution trajectory based on the formal model and the observed evolution of the business process. The faulty Web services are deduced from the variable dependency on the execution trajectory.<\/p>","DOI":"10.4018\/jwsr.2009092205","type":"journal-article","created":{"date-parts":[[2010,4,16]],"date-time":"2010-04-16T11:50:02Z","timestamp":1271418602000},"page":"87-110","source":"Crossref","is-referenced-by-count":24,"title":["A Model-Based Approach for Diagnosing Fault in Web Service Processes"],"prefix":"10.4018","volume":"6","author":[{"given":"Yuhong","family":"Yan","sequence":"first","affiliation":[{"name":"Concordia University, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Philippe","family":"Dague","sequence":"additional","affiliation":[{"name":"University Paris-Sud 11, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yannick","family":"Pencole","sequence":"additional","affiliation":[{"name":"LAAS-CNRS, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marie-Odile","family":"Cordier","sequence":"additional","affiliation":[{"name":"IRISA, France"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"2432","reference":[{"key":"10.4018\/jwsr.2009092205-0","unstructured":"Active Endpoint. (2007). Retrieved on XXX from, www.active-endpoints.com\/active-bpel-engineoverview.htm."},{"key":"10.4018\/jwsr.2009092205-1","unstructured":"Andrews, T., Curbera, F., Dholakia, H., Goland, Y., et al. (2003). Business process execution language for web services (bpel4ws) 1.1. (ftp:\/\/www6.software.ibm.com\/software\/developer\/library\/ws-bpel.pdf, retrievedApril10, 2005)"},{"key":"10.4018\/jwsr.2009092205-2","unstructured":"Ardissono, L., Console, L., Goy, A., Petrone, G., Picardi, C., & Segnan, M. (2005). Cooperative model-based diagnosis of web services. In Proceedings of the 16th international workshop on principles of diagnosis (DX-2005) (pp. 125\u2013132)."},{"key":"10.4018\/jwsr.2009092205-3","unstructured":"Baresi, L., Ghezzi, C., & Guinea, S. (2006). Towards self-healing compositions of services. In B. J. Kr\u00e4mer & W. A. Halang (Eds.), Contributions to ubiquitous computing (Vol. 42). Springer."},{"key":"10.4018\/jwsr.2009092205-4","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(99)00019-3"},{"key":"10.4018\/jwsr.2009092205-5","unstructured":"Berardi, D., Calvanese, D., De Giacomo, G., Lenzerini, M., & Mecella, M. (2003). Automated composition of e-services that export their behavior. In Proceedings of the 1st int. conf. on service-oriented computing (icsoc\u201903) (pp. 43-58)."},{"key":"10.4018\/jwsr.2009092205-6","doi-asserted-by":"crossref","unstructured":"Canfora, G., Penta, M. D., Esposito, R., & Willani, M. L. (2005). Qos-aware replanning of composite web services. In Proceedings of IEEE international conference on web services.","DOI":"10.1109\/ICWS.2005.96"},{"key":"10.4018\/jwsr.2009092205-7","unstructured":"Cordier, M., & Thi\u00e9baux, S. (1994). Event-based diagnosis for evolutive systems. In Proceedings of the \ufb01fth international workshop on principles of diagnosis (DX\u201994) (pp. 64\u201369)."},{"key":"10.4018\/jwsr.2009092205-8","unstructured":"Ferrara, A. (2004). Web services: a process algebra approach. In Proceedings of the 2nd international conference on service oriented computing (icsoc) (p. 242-251). New York: ACM Press."},{"key":"10.4018\/jwsr.2009092205-9","doi-asserted-by":"crossref","unstructured":"Fisteus, J., Fern\u00e1ndez, L., & Kloos, C. (2004). Formal veri\ufb01cation of bpel4ws business collaborations. In K. Bauknecht, M. Bichler, & B. Prll (Eds.), Proc. of 5th international conference e-commerce and web technologies (ec-web).","DOI":"10.1007\/978-3-540-30077-9_8"},{"key":"10.4018\/jwsr.2009092205-10","doi-asserted-by":"crossref","unstructured":"Foster, H., Uchitel, S., Magee, J., & Kramer, J. (2003). Model-based veri\ufb01cation of web service compositions. In Proc. of eighteenth IEEE international conference on automated software engineering (ase03).","DOI":"10.1109\/ASE.2003.1240303"},{"key":"10.4018\/jwsr.2009092205-11","doi-asserted-by":"crossref","unstructured":"Fu, X., Bultan, T., & Su, J. (2004). Analysis of interacting bpel web services. In Proc. of the 13th international world wide web conference (www\u201904). ACM Press.","DOI":"10.1145\/988672.988756"},{"key":"10.4018\/jwsr.2009092205-12","unstructured":"Grastien, A., Cordier, M., & Largou\u00ebt, C. (2004). Extending decentralized discrete-event modelling to diagnose recon\ufb01gurable systems. In Proceedings of the \ufb01fteenth international workshop on principles of diagnosis (DX-04) (pp. 75\u201380). Carcassonne, France."},{"key":"10.4018\/jwsr.2009092205-13","unstructured":"Grastien, A., Cordier, M., & Largou\u00ebt, C. (2005). Incremental diagnosis of discrete-event systems. In Proceedings of the sixteenth international workshop on principles of diagnosis (DX-05) (pp. 119\u2013124). Paci\ufb01c Grove, California, USA."},{"key":"10.4018\/jwsr.2009092205-14","unstructured":"Grosclaude, I. (2004). Model-based monitoring of software components. In Proceedings of the 16th European conf. on arti\ufb01cial intelligence (ECAI\u201904) (pp. 1025\u2013 1026)."},{"key":"10.4018\/jwsr.2009092205-15","unstructured":"Hamscher, W., Console, L., & de Kleer, J. (Eds.). (1992). Readings in model-based diagnosis. Morgan Kaufmann."},{"key":"10.4018\/jwsr.2009092205-16","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(88)90054-3"},{"key":"10.4018\/jwsr.2009092205-17","doi-asserted-by":"crossref","unstructured":"Lazovik, A., Aiello, M., & Papazoglou, M. (2003). Planning and monitoring the execution of web service requests. In Proceedings of the 1st int. conf. on service-oriented computing (ICSOC\u201903) (pp. 335\u2013350).","DOI":"10.1007\/978-3-540-24593-3_23"},{"key":"10.4018\/jwsr.2009092205-18","doi-asserted-by":"crossref","unstructured":"Mahbub, K., & Spanoudakis, G. (2004). A framework for requirements monitoring of service based systems. In Proceedings of the 2nd international conference on service oriented computing (pp. 84-93).","DOI":"10.1145\/1035167.1035181"},{"key":"10.4018\/jwsr.2009092205-19","doi-asserted-by":"crossref","unstructured":"Narayanan, S., & McIlraith, S. (2002). Simulation, veri\ufb01cation and automated composition of web services. In Proceedings of the eleventh international world wide web conference (www-11) (pp. 77-88).","DOI":"10.1145\/511446.511457"},{"key":"10.4018\/jwsr.2009092205-20","doi-asserted-by":"crossref","unstructured":"Ottenstein, K., & Ottenstein, L. (1984). The program dependence graph in software development environment. In Acm Sigsoft\/Sigplan software engineering symposium on practical software development environments (pp. 177-184).","DOI":"10.1145\/800020.808263"},{"key":"10.4018\/jwsr.2009092205-21","unstructured":"Ouyang, C., & Aalst, W. Breutel, S., Dumas, M., Hofstede, A., & Verbeek, H. (2005). Formal semantics and analysis of control \ufb02ow in ws-bpel (Tech. Rep.). BPM Center Report BPM-05-13. (BPMcenter.org)"},{"key":"10.4018\/jwsr.2009092205-22","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2005.01.002"},{"key":"10.4018\/jwsr.2009092205-23","doi-asserted-by":"crossref","unstructured":"Pencol\u00e9, Y., Cordier, M., & Roz\u00e9, L. (2002). Incremental decentralized diagnosis approach for the supervision of a telecommunication network. In Proceedings of 41th IEEE conf. on decision and control (CDC\u20192002) (pp. 435\u2013440). Las Vegas, USA.","DOI":"10.1109\/CDC.2002.1184533"},{"key":"10.4018\/jwsr.2009092205-24","unstructured":"Pistore, M., Traverso, P., Bertoli, P., & Marconi, A. (2005). Automated composition of web services by planning at the knowledge level. In Proceedings of the 19th international joint conference on arti\ufb01cial intelligence (ijcai-05) (p. 1252-1260)."},{"key":"10.4018\/jwsr.2009092205-25","unstructured":"Rao, J., & Su, X. (2004). A survey of automated web service composition methods. In Proceedings of the \ufb01rst international workshop on semantic web services and web process composition (swswpc)."},{"key":"10.4018\/jwsr.2009092205-26","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(87)90062-2"},{"key":"10.4018\/jwsr.2009092205-27","doi-asserted-by":"crossref","unstructured":"Sala\u00fcn, G., Bordeaux, L., & Schaerf, M. (2004). Describing and reasoning on web services using process algebra. In Proceedings of the second IEEE int. conf. on web services (ICWS\u201904) (pp. 43\u201351).","DOI":"10.1109\/ICWS.2004.1314722"},{"key":"10.4018\/jwsr.2009092205-28","doi-asserted-by":"publisher","DOI":"10.1109\/9.412626"},{"key":"10.4018\/jwsr.2009092205-29","unstructured":"Schmidt, K., & Stahl, C. (2004). A Petri net semantic for bpel: validation and application. In Proc. of 11th workshop on algorithms and tools for Petri nets (awpn 04) (pp. 1-6)."},{"key":"10.4018\/jwsr.2009092205-30","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.05.008"},{"key":"10.4018\/jwsr.2009092205-31","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010248"},{"key":"10.4018\/jwsr.2009092205-32","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(01)00161-8"},{"key":"10.4018\/jwsr.2009092205-33","unstructured":"Yan, Y., Pencol\u00e9, Y., Cordier, M., & Grastien, A. (2005). Monitoring web service networks in a model-based approach. In 3rd IEEE European conference on web services (ecows05). V\u00e4xj\u00f6, Sweden: IEEE Computer Society."}],"container-title":["International Journal of Web Services Research"],"original-title":[],"language":"ng","link":[{"URL":"https:\/\/www.igi-global.com\/viewtitle.aspx?TitleId=3135","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,1]],"date-time":"2022-06-01T11:53:59Z","timestamp":1654084439000},"score":1,"resource":{"primary":{"URL":"https:\/\/services.igi-global.com\/resolvedoi\/resolve.aspx?doi=10.4018\/jwsr.2009092205"}},"subtitle":[""],"short-title":[],"issued":{"date-parts":[[2009,1,1]]},"references-count":34,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2009,1]]}},"URL":"https:\/\/doi.org\/10.4018\/jwsr.2009092205","relation":{},"ISSN":["1545-7362","1546-5004"],"issn-type":[{"value":"1545-7362","type":"print"},{"value":"1546-5004","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,1,1]]}}}