计算机科学 ›› 2006, Vol. 33 ›› Issue (5): 128-130.

• • 上一篇    下一篇

基于Petri网的Web服务组合建模

陈丁剑 吴健 马满福 胡正国   

  1. 西北工业大学计算机学院,西安710072
  • 出版日期:2018-11-17 发布日期:2018-11-17

CHEN Ding-Jian, WU Jian ,MA Man-Fu ,HU Zheng-Guo (College of Computer, Northwestern Polytechnieal University, Xi'an 710072)   

  • Online:2018-11-17 Published:2018-11-17

摘要: 针对Web服务组合流程进行建模,可以实现可靠的服务组合。文中首先提出了一种基于Petri网理论的Web服务组合建模方法,对服务组合进行形式化建模,然后通过分析Web服务网的可迭性和活性对Web服务组合进行验证,最后举例说明此方法的应用。

关键词: Web服务 Web服务组合 Petri网

Abstract: It is very important that there is need for modeling techniques and tools for reliable Web service composition, so a Petri net-based model for Web service composition is proposed. The model defines the Web service net, and then analyzes its teachability a

Key words: Web service, Web service composition, Petri net

[1] 程永上 王志坚.
语义Web服务组合的形式化描述与验证研究

计算机科学, 2008, 35(4): 40-43.
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!