摘要
BPEL是一种广泛应用于支撑跨组织协同服务的组合标准.为分析BPEL语言构造业务过程的性能,基于广义随机Petri网,提出了一种BPEL模型,详细地刻画了BPEL的语法语义、活动的不同状态和执行机制,案例分析说明该模型可以有效支持服务组合定量分析.最后对未来工作进行了展望.
Business Process Execution Language（ BPEL） is a widely utilized web service composition standard to support cross-organizational collaboration. For analyzing the performance of the process generated through BPEL, we propose a way to construct more reliable cross-workflow applications. Basic on General Stochastic Petri Net（ GSPN） ,a BPEL model is proposed in this paper. A detailed description of the BPEL syntax, semantic, activity＆#39;s statues and the execution mechanism and logic are introduced. Finally, a practical case study has proved this representation suitable for support performance analysis of the proposed model quantificationally and the future works are discussed.
出处
《南京师大学报（自然科学版）》
CAS
CSCD
北大核心
2014年第1期17-21,共5页
Journal of Nanjing Normal University(Natural Science Edition)
基金
国家自然科学基金(61272036)
上海第二工业大学软件工程重点学科(XXKZD1301)
关键词
服务组合
建模
BPEL
GSPN
BPEL
GSPN
service composition
modeling
