期刊文献+

环境约束下Web服务正确性判定

在线阅读 下载PDF
导出
摘要 本文首先提出Web服务域和Web环境域的概念并使用开放Petri网对Web服务域和Web环境域进行建模。然后通过分析Web环境域模型与Web服务域模型组合后的交互行为情况,给出了二者可组合的前提条件以及组合后的正确性判定算法,从而实现在环境约束下Web服务组合的正确性分析和判定。
作者 罗柯
机构地区 安徽理工大学
出处 《科技信息》 2012年第15期101-101,共1页 Science & Technology Information
  • 相关文献

参考文献2

  • 1倪晚成,刘连臣,吴澄.Web服务组合方法综述[J].计算机工程,2008,34(4):79-81. 被引量:63
  • 2Nikola Milanovic,Miroslaw Malek.Current Solutions for Web Services Composition[J].IEEE Internet Computing,2004:51-59.

二级参考文献10

  • 1廖军,谭浩,刘锦德.基于Pi-演算的Web服务组合的描述和验证[J].计算机学报,2005,28(4):635-643. 被引量:107
  • 2李曼,王大治,杜小勇,王珊.基于领域本体的Web服务动态组合[J].计算机学报,2005,28(4):644-650. 被引量:141
  • 3唐宇,何凯涛,陈荦,景宁.空间信息栅格体系与服务聚合技术[J].国防科技大学学报,2005,27(2):46-51. 被引量:11
  • 4陶晓峰,孙健.基于面向对象Petri网的Web服务合成[J].计算机应用,2005,25(6):1424-1426. 被引量:6
  • 5Zeng Liangzhao, Benatallah B, Ngu A, et al. QoS-aware Middleware for Web Services Composition[J]. IEEE Trans. on Software Engineering, 2004, 30(5): 311-327.
  • 6Hamadi R, Benatallah B. A Petri Net-based Model for Web Service Composition[C]//Proceedings of the 14th Australasian Database Conference on Database Technologies. Adelaide: ACM Press, 2003.
  • 7Casati E Ilnicki S, Jin Lijie, et al. Adaptive and Dynamic Service Composition in eFlow[C]//Proc, of the International Conference on Advanced Information Systems Engineering. Stockholm: SpringerVerlag, 2000: 13-31.
  • 8Han Yanbo, Zhao Zhuofeng, Li Gang, et al. CAFIS: An Approach to Enabling Adaptive Configuration of Service Grid Applications[J]. Journal of Computer Science and Technology, 2003, 18(4): 485.
  • 9Pahl C. A PiCalculus Based Framework for the Composition and Replacement of Components[EB/OL]. (2001-01-09). http://www. cs.iastate.edu/-leavens/SAVCB S/papers-2001/cover.pdf.
  • 10Ponnekanti S R, Fox A. SWORD: A Developer Toolkit for Web Service Composition[EB/OL]. (2002-10-22). http://swig.stanford. edu/pub/publications/sword/www11 .pdf.

共引文献62

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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