基于Petri网的企业过程模型的BPEL实现.pdfVIP

m¨f。$1．】 系统仿真学报o Ⅵ，】Ⅲ岬㈠ 型竺!． !!!!!!!!!逛!竺!!竺!!!!!!! 坐型! 基于Petri网的企业过程模型的BPEL实现 姚淑珍，张亮 摘要：为T实现“基于Pcm目的套Ⅱ丑程模型副企业巩程执行语言BPEL的转化，提出7一种 量结构中远持合适的一^，手非易事BPEL也没有彤式化妁分折技#迥此研先BPH％#他镬i 的转化i击是十分有毒卫的泰￡“仝业过程模式中最常用到的结构为基础定卫TPetH月的蛆拌 堡组忙壤中的每一十蛆件叶Ⅱ于特定韵BPEL代码将一小涪且有界的Pctn圃中妁每一十组件轩 同一十简单任务末替挺的折叠操作将{奇嫂主斥网的*B和有界性咎出T将一十基干Pc蜘目的 ■▲企Ⅱ过程模型转化为相应的BPEI．代码的PN2BP￡L耳砖最后通过一十筒单的宴剖，说晴T扣何害 托提出的转化万法 关键词t盘业过程建模，Pem同BPEL：形式化 中匿分共号：TP∞1文献标识码：A 文章稿号：100}73Ixf20。7】s】02*，∞ A for toBPEL Method Petri—net 1Yansl8tin2 y^osh叶出cn．zHANG“nn2 ch∞EI Isc№d…C‘“puⅥrs泄…dT∞hn汕{uBc”…}Un…日D㈨una㈨…枷muunB。U1％【rm83 m。ddm P…s BPEL(Buslne*s AWr矗ct：TiⅡ钟^l㈣Pcm_b“酣enkrpnsop…s E灿¨on山gua非)c础，a venmFo u…l【w∞nm melh卅c“}甜PN2BPEL、v。¨pro口oscdxMLfep～nmu㈣fBPEL…eH rlnexp州enced cons【rLlctE】能删rb…㈣(n So1㈣essentiaI 曲eamln罢loqhl“ghIonc胁m…y mrrr埘anaIysmlochnlques se【of w∞ eoRwaKhonm…rbm c“hthIs帅cI…omponcntP咖-NH m㈣sla¨】mo女目lan叫a4㈣BPEL on BPEL∞dc d￡^n叫ba*￡d Lhwo^no”Panc咖l…nlfno…eEv日ycom严n锄flnm…㈣3pp甜om…芦anc 1kmld a An oIcl㈣ontP】acl“ge”efyco“P。删byslmpk皿kca兀p…eth…dnesR甜o“￡1nd雎m·NcI Eo Pe嘶一NetBPELame “20几m梆gmll如㈣‘Ⅲ“g FIn■M