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

Web服务组合事务处理及基于细胞膜演算的正确性分析 被引量：1

Transaction Processing of Compositive Web Service and its Correctness Analysis of Calculus Based on Cell Membrances
下载PDF
导出
摘要 事务处理是Web服务及其组合服务能否得到广泛应用的关键技术之一。本文分析总结了现有的事务处理模型,针对Web服务组合环境下的异构性、自治性和动态性,提出了一个基于组合Web服务的事务处理模型WS-CTM,并基于细胞膜演算对模型的正确性进行了验证。 Transaction processing is one of key technologies that make Web service and its compositive service can or not be wide used. This paper summarizes and analyzes the exsisting transaction processing models. Then according to compositive Web service characteristics-heterogeneous, autonomous and dynamic, proposes a transaction processing model called WS-CTM which is based on compositive Web service, and verifies its correctness based on membrane calculus at last.
作者 姚绍文 唐明靖 危兵
机构地区 云南大学网络智能计算研究室 云南省信息技术发展中心
出处 《计算机科学》 CSCD 北大核心 2008年第3期109-112,122,共5页 Computer Science
关键词 WEB服务 事务处理 细胞膜演算 Maude系统 Web service, Transaction processing, Membrane calculus, Maude system
分类号 TP393.4 [自动化与计算机技术—计算机应用技术] TP311.13 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献9

  • 1Newcomer E,Lomow G[美].Understanding SOA with Web Services.电子工业出版社,2006
  • 2SOAP 1.2 Specification. http://www. w3. org/2000/xp/Group/
  • 3WSDL 1.1 Specification. http://www. w3. org/TR/wsdl
  • 4UDDI Specification. http://www. oasis-open. org/committees/tc home. php? wg_abbrev=uddi -spec
  • 5李景霞,侯紫峰.Web服务组合综述[J].计算机应用研究,2005,22(12):4-7. 被引量：33
  • 6Paun G H. Computing with membrances. Journal of Computer and System Sciences, 2000, 61(1) : 108-143
  • 7Bruni R, Meseguer J. Generalized rewrite theories. Lecture Notes in Computer Science, 2003(2719):252-266
  • 8Maude2.3. http://maude. cs. uiuc. edu/
  • 9Bruni R, Meseguer J. Generalized rewrite theories. Lecture Notes in Computer Scienee, 2003(2719):252-266

二级参考文献18

  • 1Dipanjan 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.
  • 2.Web服务:WSDL专题[EB/OL].http://www-900.cn.ibm.com/developerworks/cn/Webservices/ws-intwsdl/part1/index.shtml,.
  • 3Joachim 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.
  • 4OWL-S 1.1 Release[EB/OL].http://www.daml.org/services/owl-s/1.1.
  • 5.Web服务:BPEL4WS专题[EB/OL].http://www-900.cn.ibm.com/developerWorks/cn/Webservices/ws-theme/ws-bpel.shtml,.
  • 6Bart 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.
  • 7David 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.
  • 8Sheila 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.
  • 9Sheila McIlraith, Tran Cao Son, et al. Semantic Web Services[C]. IEEE Intelligent Systems, Special Issue on the Semantic Web, 2001.
  • 10Evren Sirin, Bijan Parsia, Dan Wu. HTN Planning for Web Service Composition Using[EB/OL]. http://www.mindswap.org/papers/SHOP-JWS.pdf.

共引文献32

同被引文献8

引证文献1

计算机科学
2008年 第3期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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