基于对象Petri网的BPEL建模技术  

BPEL Modeling Technique Based on Object Petri Net

作　　者：林强[1] 胡昊[1] 吕建[1] 

机构地区：[1]南京大学软件新技术国家重点实验室,南京210093

出　　处：《计算机工程》2009年第2期74-75,78,共3页Computer Engineering

基　　金：国家"973"计划基金资助项目(2002CB312002);国家"863"计划基金资助项目(2007AA01Z178;2007AA01Z140;2006AA01Z159);国家自然科学基金资助项目(60736015;60721002;60603034;60403014);江苏省自然科学基金资助项目(BK2006712)

摘　　要：讨论了通过对象Petri网对业务过程执行语言(BPEL)进行建模,提供一种从抽象BPEL过程扩展生成可执行BPEL过程的方法,该方法保证生成的可执行BPEL过程遵循抽象BPEL过程定义的业务协议,并通过BPEL2OPN对建模结果进行仿真。BPEL modeling technique based on object Petri net is proposed in this paper. An approach to extend abstract BPEL processes to executable ones is also provided, which guarantees the conformance to the business protocol specified by the abstract BPEL process. BPEL2OPN is used to simulate running the resulting model.

关 键 词：对象PETRI网 业务过程执行语言 行为继承 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]