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]
@inproceedings{LiZP09,
title = {Model-Driven Automatic Generation of Verified BPEL Code for Web Service Composition},
author = {Bixin Li and Yu Zhou and Jun Pang},
year = {2009},
doi = {10.1109/APSEC.2009.19},
url = {http://doi.ieeecomputersociety.org/10.1109/APSEC.2009.19},
tags = {web service, composition, BPEL, code generation},
researchr = {https://researchr.org/publication/LiZP09},
cites = {0},
citedby = {0},
pages = {355-362},
booktitle = {16th Asia-Pacific Software Engineering Conference, APSEC 2009, 1-3 December 2009, Batu Ferringhi, Penang, Malaysia},
editor = {Shahida Sulaiman and Noor Maizura Mohamad Noor},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-3909-6},
}