期刊文献+

基于Petri网的Web服务组合流程的验证 被引量:1

下载PDF
导出
摘要 Web服务组合是面向服务计算下的构建应用的主要方法。而当前Web服务组合的方法由于缺乏有效的验证机制,有时会返回很多无效的结果,降低了服务组合应用的效率。为了解决这些问题,本文基于Petri网的对服务组合流程进行建模,同时引入一种验证算法以验证组合流程的正确性。
作者 沈桂芳
出处 《科技信息》 2009年第8期198-199,共2页 Science & Technology Information
  • 相关文献

参考文献2

二级参考文献38

  • 1王晓玲,郭志懋,周傲英.Web服务组合的基于文法的消息处理[J].计算机学报,2005,28(4):478-485. 被引量:11
  • 2钱柱中,戚玉松,陆桑璐,谢立.基于本体的Web服务组合异构消息的转换[J].电子学报,2005,33(B12):2472-2475. 被引量:2
  • 3Dipanjan Chakraborty, Anupam Joshi. Dynamic Service Composition:State-of-the-Art and Research Directions[EB/OL]. Technical Report. http://research.ebiquity.org/re/papers.html,2001-11.
  • 4.Web服务:WSDL专题[EB/OL].http://www-900.cn.ibm.com/developerworks/cn/Webservices/ws-intwsdl/part1/index.shtml,.
  • 5Joachim Peer. Bringing Together Semantic Web and Web Services[C]. Lecture Notes in Computer Science Archive Proceedings of the 1st International Semantic Web Conference on the Semantic Web Table of Contents. 279-291.
  • 6OWL-S 1.1 Release[EB/OL].http://www.daml.org/services/owl-s/1.1.
  • 7.Web服务:BPEL4WS专题[EB/OL].http://www-900.cn.ibm.com/developerWorks/cn/Webservices/ws-theme/ws-bpel.shtml,.
  • 8Bart Orri¨ens, Jian Yang, et al. Model Driven Service Composition[EB/OL].http://maximus.uvt.nl/sigsoc/pub/Orriens%20et%20al %20-%20model%20driven%20service%20composition.pdf.
  • 9David Skogan, Roy Grnmo, Ida Solheim. Web Service Composition in UML[C]. The 8th International IEEE Enterprise Distributed Object Computing Conference (EDOC), Monterey, California, 2004.
  • 10Sheila McIlraith, Tran Cao Son. Adapting Golog for Composition of Semantic Web Services[C]. Proceedings of the 8th International Conference on Knowledge Representation and Reasoning (KR2002), 2002. 482-493.

共引文献91

同被引文献9

引证文献1

二级引证文献3

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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