Model-Driven Automatic Generation of Verified BPEL Code for Web Service Composition

Bixin Li, Yu Zhou, Jun Pang. Model-Driven Automatic Generation of Verified BPEL Code for Web Service Composition. In Shahida Sulaiman, Noor Maizura Mohamad Noor, editors, 16th Asia-Pacific Software Engineering Conference, APSEC 2009, 1-3 December 2009, Batu Ferringhi, Penang, Malaysia. pages 355-362, IEEE Computer Society, 2009. [doi]

Authors

Bixin Li

This author has not been identified. Look up 'Bixin Li' in Google

Yu Zhou

This author has not been identified. Look up 'Yu Zhou' in Google

Jun Pang

This author has not been identified. Look up 'Jun Pang' in Google