Yuhong Yan Philippe Dague Modeling and Diagnosing OrchestratedWeb Service Processes. 51-59 2007 conf/icws/2007 ICWS http://doi.ieeecomputersociety.org/10.1109/ICWS.2007.124 db/conf/icws/icws2007.html#YanD07