一种基于广义随机petri网的bpel建模-南京师范大学学报自然.pdfVIP

第37卷第1期 南京师大学报(自然科学版) Vol.37 No.1 2014年3月 JOURNAL OF NANJING NORMAL UNIVERSITY(Natural Science Edition) Mar,2014 詨詨詨詨詨詨詨詨詨詨詨詨詨詨詨詨詨詨詨詨詨詨詨詨詨詨詨詨詨詨詨詨詨詨詨詨詨詨詨詨詨詨詨詨詨詨 一种基于广义随机Petri 网的BPEL建模 1,2 1 谭文安 ,葛铭珏 (1.南京航空航天大学计算机科学与技术学院,江苏 南京210016) (2.上海第二工业大学计算机与信息学院,上海201209) [摘要]摇 BPEL是一种广泛应用于支撑跨组织协同服务的组合标准.为分析BPEL语言构造业务过程的性能,基 于广义随机Petri 网,提出了一种BPEL模型,详细地刻画了BPEL 的语法语义、活动的不同状态和执行机制,案 例分析说明该模型可以有效支持服务组合定量分析.最后对未来工作进行了展望. [关键词]摇 BPEL,GSPN,服务组合,建模 [中图分类号]TP311摇 [文献标志码]A摇 [文章编号]1001-4616(2014)01-0017-05 A General Stochastic Petri Net鄄Based Representation for Modeling BPEL 1,2 1 TanWenan ,Ge Mingjue (1.School of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics,Nanjing210016,China) (2.School of Computer and Information,Shanghai Second Polytechnic University,Shanghai201209,China) Abstract:Business Process Execution Language(BPEL)is awidely utilizedweb service composition standardto support cross鄄organizational collaboration.For analyzing the performance of the process generated through BPEL,we propose a way toconstruct morereliablecross鄄workflow applications.Basicon General StochasticPetri Net(GSPN),aBPELmodel 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 thefutureworks are discussed. Key words:BPEL,GSPN,service composition,modeling 随着面向服务