Yuhong Yan Philippe Dague Yannick Pencolé Marie-Odile Cordier A Model-Based Approach for Diagnosing Fault in Web Service Processes. 87-110 2009 6 Int. J. Web Service Res. 1 http://www.igi-pub.com/articles/details.asp?ID=34330 db/journals/jwsr/jwsr6.html#YanDPC09