[1]谭文安,葛铭珏.一种基于广义随机Petri网的BPEL建模[J].南京师大学报(自然科学版),2014,37(01):17.
　Tan Wenan,Ge Mingjue.A General Stochastic Petri Net-Based Representation for Modeling BPEL[J].Journal of Nanjing Normal University(Natural Science Edition),2014,37(01):17.
点击复制

一种基于广义随机Petri网的BPEL建模()
分享到：

《南京师大学报（自然科学版）》[ISSN:1001-4616/CN:32-1239/N]

卷:
第37卷
期数:
2014年01期
页码:
17
栏目:
计算机科学
出版日期:
2014-03-30

文章信息/Info

Title:
A General Stochastic Petri Net-Based Representation for Modeling BPEL
作者:
谭文安1; 2; 葛铭珏1
(1.南京航空航天大学计算机科学与技术学院,江苏 南京 210016) (2.上海第二工业大学计算机与信息学院,上海 201209)
Author(s):
Tan Wenan1; 2; Ge Mingjue1
(1.School of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics,Nanjing 210016,China) (2.School of Computer and Information,Shanghai Second Polytechnic University,Shanghai 201209,China)
关键词:
BPEL; GSPN; 服务组合; 建模
Keywords:
BPEL; GSPN; service composition; modeling
分类号:
TP311
文献标志码:
A
摘要:
BPEL是一种广泛应用于支撑跨组织协同服务的组合标准.为分析BPEL语言构造业务过程的性能,基于广义随机Petri网,提出了一种BPEL模型,详细地刻画了BPEL的语法语义、活动的不同状态和执行机制,案例分析说明该模型可以有效支持服务组合定量分析.最后对未来工作进行了展望.
Abstract:
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’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.

参考文献/References:

[1] Ouyang C,Verbeek E,van der Aalst W M P,et al.Formal semantics and analysis of control flow in WS-BPEL[J].Science of Computer Programming,2007,67(2/3):162-198.
[2]Yang Y P,Tan Q P,Xiao Y.Verifying web services composition based on hierarchical colored Petri nets[C]//Proceedings of the First International Workshop on Interoperability of Heterogeneous Information Systems.New York:ACM,2005:47-54.
[3]王玉英,陈平.基于有色Petri网的BPEL中flow活动建模[J].计算机应用研究,2011(28):632-635.
[4]Liu X,Li J H,Li X,et al.BPEL modeling based on extended synchronized Petri net[J].计算机工程,2011(37):57-59.
[5]Niels Lohmann.A feature-complete Petri net semantics for WS-BPEL 2.0[J].Lecture Notes in Computer Science,2008(4 937):77-91.
[6]Henrique Jorge A Holanda,Barroso G C,Serra A,et al.SPEWS:a framework for the performance analysis of web services orchestrated with BPEL4WS[C]//Fourth International Conference on Internet and Web Applications and Services.Venice,2009:363-369.
[7]Wang W P,Gao Z L,Bao S Y,et al.The development of reliability modeling and analysis tool based on stochastic Petri nets[J].Advanced Materials Research,2010(118/120):566-570.
[8]Xia Y,Liu Y,Lin J,et al.Modeling and performance evaluation of BPEL processes:A stochastic-Petri-net-based approach[J].IEEE Transactions on Systems,Man and Cybernetics—Part A:Systems and Humans,2012(42):503-510.
[9]Pastor E,Roig O,Cortadella J,et al.Petri net analysis using Boolean manipulation in Proc Appl[J].Theory Petri Nets,1994(1):416-435.

备注/Memo

备注/Memo:
收稿日期:2013-08-10.
基金项目:国家自然科学基金(61272036)、上海第二工业大学软件工程重点学科(XXKZD1301).
通讯联系人:谭文安,博士,教授,研究方向:软件工程、协同计算、智能信息系统.E-mail:twajsj@sohu.com
更新日期/Last Update: 2014-03-30