期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

基于对象Petri网的BPEL建模技术 被引量：2

BPEL Modeling Technique Based on Object Petri Net
下载PDF
导出
摘要 讨论了通过对象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.
作者 林强 胡昊 吕建
机构地区 南京大学软件新技术国家重点实验室
出处 《计算机工程》 CAS CSCD 北大核心 2009年第2期74-75,78,共3页 Computer Engineering
基金 国家"973"计划基金资助项目(2002CB312002) 国家"863"计划基金资助项目(2007AA01Z178 2007AA01Z140 2006AA01Z159) 国家自然科学基金资助项目(60736015 60721002 60603034 60403014) 江苏省自然科学基金资助项目(BK2006712)
关键词 对象PETRI网 业务过程执行语言 行为继承 object Petri net BPEL behavior inheritance
分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献6

  • 1Leymann F, Roller D. Modeling Business Processes with BPEL4WS[J]. Information Systems and E-Business Management, 2006, 4(3): 265-284.
  • 2Verbeek H M W, W M P van der Aalst. Analyzing BPEL Processes Using Petri Nets[C]//Proc. of the 2nd International Workshop on Applications of Petri Nets to Coordination, Workflow and Business Process Management. Miami, Florida, USA: [s. n.], 2005: 59-78.
  • 3Hamadi R, Benatallah B. A Petfi Net-based Model for Web Service Composition[C]//Proc. of the 14th Australasian Database Conference. Adelaide, Australian: [s. n.], 2003: 191-200.
  • 4Valk R. Petri Nets as Token Objects: An Introduction to Elementary Object Nets[C]//Proc. of the 19th International Conference on Application and Theory of Petri Nets. Heidelberg, Germany: Springer, 1998: 1-25.
  • 5Basten W. Inheritance of Behavior[J]. Journal of Logic and Algebraic Programming, 2001, 47(2): 47-145.
  • 6Lin Qiang, Ge Jidong, Hu Hao, et al. An Approach to Model Cross-organizational Processes Using Object Petri Net[C]//Proc. of IEEE International Conference on Services Computing Workshops. Salt Lake City, Utah, USA: IEEE Computer Society, 2007: 146-152.

同被引文献10

  • 1李景霞,肖政,侯紫峰.基于标签Petri网的OWL-S建模与分析[J].计算机工程,2007,33(7):8-10. 被引量：8
  • 2Ge Jidong,Hu Haiyang,Lu Ping.Translation of Nets Within Nets in Cross-organizational Software Process Modeling[C] //Proc.of International Software Process Workshop.Beijing,China:[s.n.] ,2005:360-375.
  • 3Zimmermann A,Hommel G.A Train Control System Case Study in Model-based Real Time System Design[C] //Proc.of International Parallel and Distributed Processing Symposium.Nlce,France:IEEE Computer Society,2003:118-130.
  • 4Clarke E M, Grumbergo P D A. Model Checking[M]. Cambridge, USA: MIT Press, 2001.
  • 5何克清,马于涛,刘婧.软件网络[M].2008.网的BPEL建模技北京:科学出版社.
  • 6Spin-formal Verification[EB/OL]. [2011-08-20]. http://spinroot. com.
  • 7Ankolekar A. Towards a Formal Verification of OWL-S Process Models[C]//Proc. of 2005 International Conference on Web Service. Galway, Ireland: Springer-Verlag, 2005:37-51.
  • 8OWL-S API[EB/OL]. [2011-09-16]. http://www.mindswap.org/ 2004/owl-s/api/.
  • 9任文红.合武客运专线的GSM—R工程建设经验[J].中国铁路,2008(9):50-53. 被引量：4
  • 10曾明,杨扬,王元卓,张静乐.基于SPN模型的物流采购决策[J].计算机工程,2010,36(11):1-4. 被引量：1

引证文献2

二级引证文献3

计算机工程
2009年 第2期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部