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

基于Petri网的Web服务流程建模 被引量：10

Web Service Flow Modeling Based on Petri Net
下载PDF
导出
摘要 Web服务流程模型的建立是实现Web服务集成的重要环节。研究了Web服务流程Petri网模型的建立及其正确性检验的方法,并给出了Petri模型中基本路由的BPEL4WS描述。 Web Service flow modeling is important to Web Service integration. This thesis researched the Web Service flow modeling and soundness verifying method, and presented the BPEL4WS description of the basic routing of the Web Service flow's Petri net model.'
作者 阎志华 丁秋林
机构地区 南京航空航天大学计算机应用研究所
出处 《计算机应用》 CSCD 北大核心 2003年第12期55-57,共3页 journal of Computer Applications
关键词 Web服务流程 PETRI网 建模 Web Service flow Petri net modeling
分类号 TP393.09 [自动化与计算机技术—计算机应用技术]
  • 相关文献

参考文献5

  • 1[1]Web Services Architecture Requirements[EB/OL]. http://www.w3.org/TR/wsa-reqs, 2002-11-14.
  • 2[2]Business Process with BPEL4WS[EB/OL]. http://www-106.ibm.com/developworks/ library, 2002-07-31.
  • 3[3]Van der Aalst WMP. Petri-net-based Workflow Management Software[A]. Proceedings of the NFS Workshop on Workflow and Process Automation in Information Systems[C]. Athens, Geogia, May 1996. 114-118.
  • 4[4]Van der Aalst WMP. Verification of Workflow Nets[A]. Application and Theory of Petri Nets 1997, Volume 1248 of Lecture Notes in Computer Science[C]. Berlin:Springer-Verlag, 1997.407-426.
  • 5[5]Van der Aalst WMP. The Application of Petri Nets to Workflow Management[J]. The Journal of Circuits, Systems and Computers, 1998, 8(1): 21-66.

同被引文献53

引证文献10

二级引证文献14

计算机应用
2003年 第12期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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