Guohua Liu Xi Liu Haihuan Qin Jianwen Su Zhimin Yan Liang Zhang Automated Realization of Business Workflow Specification. 96-108 2009 ICSOC/ServiceWave Workshops http://dx.doi.org/10.1007/978-3-642-16132-2_9 conf/icsoc/2009w db/conf/icsoc/icsoc2009w.html#LiuLQSYZ09