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

基于Petri网的复合Web Service构造与分析

Construction and Analysis of Composed Web Service Based on Petri Network
下载PDF
导出
摘要 利用Petri网对工作流模型进行分析与验证是目前行之有效的一种方法。该文应用工作流思想研究Web Services的复合问题,利用Petri网技术分析Web Services的调用过程,并对Web Services网进行形式化分析,给出Web Services复合群到工作流网的映射规则。 Nowadays, a efficient and effective method in workflow analysis and verification is using Petri nets. After summarized several types of web services composition, a method is proposed to compose web services by Petri. Furthermore this dissertation proposes the compose rules and introduces.
作者 陈勇
机构地区 明达职业技术学院
出处 《电脑知识与技术》 2009年第8X期6685-6686,共2页 Computer Knowledge and Technology
关键词 PETRI网 复合Web Services 映射算法 petri networks composed web services mapping algorithm
分类号 TP393.09 [自动化与计算机技术—计算机应用技术]
  • 相关文献

参考文献5

二级参考文献20

  • 1[1]Tadao Murata. Petri Nets:Properties[J]. Analysis and ApplicationsProceeding of the IEEE,1989,77(4).
  • 2[2]W.M.P.van der Aslst. The Application of Petri Nets to WorkflowManagement[J]. The Journal of Circuits,Systems and Computers, 1998,8(1):21-66.
  • 3[3]Workflow Management Coalition.Interface 1:Process DefitionInterchange,Process Model[R]. Document Number WfMC TC-1016-P(1998).
  • 4[4]E.Best. Structure theory of Petri nets: the free choice hiatus[A]. W.Brauer,W.Reisig,G.Rozenberg.Advances in Petri nets 1986 P art I:Petri Nets, central models and their properties[C],Vol.254 of Lecture Notes in Computer Science,pp.168-206.Springer-Verlag,Berlin,1987.
  • 5[5]Javier Campos, Giovanni Chiola, Jose M.Colom,Manuel Silva,Properties and Performance:Bounds for Timed Marked Graphs[J]. IEEE
  • 6Fan YS. Foundation of Workfiow Management Technique. Beijing: Tsinghua University Press, Berlin: Springer-Verlag, 2001 (in Chinese).
  • 7Wang TM, Hu YG. BPR and Information Integration Based on Value Chain. Beijing: Tsinghua University Press, 2001 (in Chinese).
  • 8van der Aalst WMP. The application of Petri nets to workflow management. Journal of Circuits, Systems and Computers, 1998,8(1):21-66.
  • 9Girault C, Valk R. Petri nets for System Engineering-A Guide To Modeling, Verification, apd Application. Berlin:Springer-Verlag, 2003.
  • 10Orlowska ME. Analyzing process models using graph reduction techniques. Information Systems, 2000,25(2): 117-134.

共引文献50

电脑知识与技术
2009年 第8X期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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