Akhil Kumar Zhe Shan Algorithms Based on Pattern Analysis for Verification and Adapter Creation for Business Process Composition. 120-138 2008 OTM Conferences (1) http://dx.doi.org/10.1007/978-3-540-88871-0_11 conf/otm/2008-1 db/conf/otm/otm2008-1.html#KumarS08