摘要
Web服务编排流程与编制流程之间的转换一直是学术界的研究热点,尤其是W3C提出的标准规范WS-CDL与如今广泛应用的编制规范BPEL流程之间的转换,对SOA实践者来说具有很强的实用性。然而,现有的转换规则都没有考虑全局模型到局部模型的转换过程中可能存在的不可执行问题,并且其转换规则本身也存在一些不合理的地方。提出了新的WS-CDL编排到BPEL编制流程的转换规则,该规则不但给出了转换过程中不可执行问题的检验和排除方法,并且其转换规则相较于现有的规则更加准确合理。
To transform from service choreography to service orchestration is very useful for SOA practitioners,especially the transformation from the standard WS-CDL to the widely adopted orchestration standard BPEL.However,the existing transformation rules are not accurate in some aspects,and lack verification of enforceability during the transformation from global model to local model.Therefore,this paper proposes a set of transformation rules from WS-CDL choreography to BPEL orchestration with verification of enforceability,which is proved more accurate than the existing rules.
出处
《华东理工大学学报（自然科学版）》
CAS
CSCD
北大核心
2012年第2期239-246,共8页
Journal of East China University of Science and Technology
基金
国家科技支撑项目(2009BAH46B03
2009BAH46B05)
关键词
WS-CDL
编排流程
编制流程
WS-CDL
service orchestration
service choreography
