版权所有：内蒙古大学图书馆 技术提供：维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
基于对象Petri网的BPEL建模技术
BPEL Modeling Technique Based on Object Petri Net作者机构：南京大学软件新技术国家重点实验室南京210093
出 版 物：《计算机工程》 (Computer Engineering)
年 卷 期：2009年第35卷第2期
页 面：74-75,78页
核心收录：
学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
基 金：国家"973"计划基金资助项目(2002CB312002) 国家"863"计划基金资助项目(2007AA01Z178 2007AA01Z140 2006AA01Z159) 国家自然科学基金资助项目(60736015 60721002 60603034 60403014) 江苏省自然科学基金资助项目(BK2006712)
摘 要：讨论了通过对象Petri网对业务过程执行语言(BPEL)进行建模,提供一种从抽象BPEL过程扩展生成可执行BPEL过程的方法,该方法保证生成的可执行BPEL过程遵循抽象BPEL过程定义的业务协议,并通过BPEL2OPN对建模结果进行仿真。
