Zan Xiao Donggang Cao Chao You Hong Mei Extracting Behavioral Models from WS-BPEL Processes for Service Discovery. 300-307 2009 IEEE SCC http://dx.doi.org/10.1109/SCC.2009.72 conf/IEEEscc/2009 db/conf/IEEEscc/scc2009.html#XiaoCYM09