Mappings from BPEL to PMR for Business Process Registration. - Jingwei Cheng; Chong Wang 004; Keqing He 002; Jinxu Jia; Peng Liang 001 (PRO-VE, 2012)