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

基于应用语义的网构软件松弛事务模型研究 被引量：2

原文传递
导出
摘要 事务处理是保障服务协作可靠性的关键技术,由多个具备事务特性的服务通过交互和协作复合而成的服务称为事务性复合服务(transactional composite service,TCS).为保证TCS执行的松弛原子性,现有的研究主要依靠对TCS语法结构的分析,但语法结构反映不出特定的应用语义信息,从而对服务事务能力要求过高,导致了很多不必要的失败恢复甚至放弃.给出了一个基于应用语义的网构软件松弛事务模型,包括系统模型、松弛原子性、松弛原子性可满足检查算法、执行保障算法.用户可以根据应用语义,为TCS赋予特定的松弛原子性约束ε,包括TCS合理结束配置,以及对各个合理结束配置的倾向性顺序.ε-松弛原子性可满足检查算法可以确保TCS执行满足指定的ε-松弛原子性.执行保障算法根据ε约束监控TCS的执行,主动进行重试、补偿等操作,将松弛原子性的规约与保障抽象到系统层次进行,分离了关注点.
作者 黄涛 丁晓宁 魏峻
机构地区 中国科学院软件研究所软件工程技术研究中心
出处 《中国科学（E辑）》 CSCD 北大核心 2006年第10期1170-1188,共19页 Science in China(Series E)
基金 国家重点基础研究发展计划(批准号:2002CB312005) 国家自然科学基金(批准号:60573126)资助项目
关键词 网构软件 服务复合 松弛原子性 松弛事务模型
分类号 TP393.02 [自动化与计算机技术—计算机应用技术]
  • 相关文献

参考文献19

  • 1杨芙清.软件工程技术发展思索[J].软件学报,2005,16(1):1-7. 被引量：266
  • 2吕建,陶先平,马晓星,胡昊,徐锋,曹春.基于Agent的网构软件模型研究[J].中国科学（E辑）,2005,35(12):1233-1253. 被引量：43
  • 3Zhang A,Nodine M,Bhargava B.Global scheduling for flexible transactions in heterogeneous distributed database systems.IEEE Trans Knowl Data Eng,2001,13(3):439-450
  • 4Gray J,Reuter A.Transaction Processing:Concepts and Techniques.San Mateo:Morgan Kaufmann Publishers,1993
  • 5Mohan C.Tutorial:advanced transaction models survey and critique.In:Proceadings of the ACM SIGMOD International Conference on Management of Data.Minneapolis:ACM Press,1994
  • 6Grefen P,Vonk J,Boertjes E,et al.Semantics and architecture of global transaction support in workflow environments.In:Proceedings of the Fourth IECIS International Conference on Cooperative Information Systems.Edinburgh:IEEE Computer Society Press,1999.348-359
  • 7Pires P,Benevides M,Mattoso M.Web transact:A framework for specifying and coordinating reliable Web services compositions.Technical Report ES-578/02,2002
  • 8Ren Y,Wu Q Y,Jia Y,et al.Transactional business coordination and failure recovery for Web services composition.In:Proceedings of 3rd Conference on Grid and Corporative Computing.Berlin:Springer Press,2004.26-33
  • 9Moss J.Nested transactions an approach to reliable distributed computing.PhD thesis.Massachusetts Institute of Technology,Cambridge,April,1981
  • 10Molina H,Salem K.SAGAS.In:Proceedings of the ACM SIGMOD Conf.on Management of Data.California:ACM Press,1987,249-259

二级参考文献52

  • 1马晓星,余萍,陶先平,吕建.一种面向服务的动态协同架构及其支撑平台[J].计算机学报,2005,28(4):467-477. 被引量：80
  • 2杨芙清 见:杨芙清 何新贵主编.青鸟工程现状与发展—兼论我国软件产业发展途径[A].见:杨芙清,何新贵主编.第6次全国软件工程学术会议论文集:软件工程进展—技术、方法和实践[C].北京:清华大学出版社,1996..
  • 3Cao J N,Feng X Y,Lu J,et al.Reliable message delivery for mobile agents:Push or Pull? IEEE Transactions on Systems,Man,and Cybernetics,Part A:Systems and Humans,2004,34(5):577～586.
  • 4Lu J.Some research on componentware frameworks based on mobile agent technology.ACM SIGSOFT Software Engineering Notes,2004,29(2):8～15.
  • 5Kiczales G.Aspect-oriented Programming.ACM Computing Surveys,1996.
  • 6Dijkstra E W.A Discipline of Programming.Prentice-Hall,Englewood Cliffs,NJ,1996.
  • 7Ma X X,Lu J,Tao X P,et al.A mobile-agent-based approach to software coordination in the HOOPE system.Science in China,Series F,2002,45(3):203～219.
  • 8吕建 陶先平 马晓星.基于Agent的多模式协同中间件ARTEMIS-M3C:技术报告[R].南京大学计算机软件新技术国家重点实验室,2004..
  • 9Arie V D,Claudio R.Software architecture reconstruction.In:Proceedings of the 26th International Conference on Software Engineering,Washington:IEEE Computer Society,2004.
  • 10Cao J,Ma X,Chan A,et al.Architecfing and implementing distributed web applications using the graph-oriented approach.Software Practice and Experience,2003,33(9):799～820.

共引文献331

同被引文献21

  • 1杨芙清.软件工程技术发展思索[J].软件学报,2005,16(1):1-7. 被引量：266
  • 2任怡,吴泉源,贾焰,韩伟红,管剑波.事务处理技术研究综述[J].计算机研究与发展,2005,42(10):1779-1784. 被引量：19
  • 3Milner R, Parrow J, Walker D J. A calculus of mobile processes. Part Ⅰ/Ⅱ [J]. Journal of Information and Computation, 1992, 100(1): 1-77.
  • 4Bravetti M, Zavattaro G. Service oriented computing: A new challenge for process algebras [J]. Electronic Notes in Theoretical Computer Science, 2006, 162 : 121-125.
  • 5Butler M, Ferreira C. An operational semantics for StAC, a language for modelling long-running business transactions [G] //LNCS 2949: Proc of the Coordination. Berlin: Springer, 2004: 87-104.
  • 6Bocchi L, Laneve C, et al. A calculus for long-running transactions [G] //LNCS 2884: Proc of the 6th FMOODS. Berlin: Springer, 2003:124-138.
  • 7Laneve C, Zavattaro G. Foundations of Web transactions [G]. //LNCS 3441: Proc of FoSSaCS'05. Berlin; Springer, 2005: 282-298.
  • 8Gray J, Reuter A. Transaction Processing Concepts and Techniques [M]. San Fransisco: Morgan Kaufmann, 1993:4-5.
  • 9Bukhres O, Elmagarmid A, Kuhn E. Implementation of the flex transaction model [J]. IEEE Data Engineering, 1992, 16(2): 28-32.
  • 10Zhang A, Nodine M, Bhargava B: Global scheduling for flexible transactions in heterogeneous distributed database systems [J]. IEEE Trans on Knowledge Data Engineering, 2001, 13(3): 439-450.

引证文献2

二级引证文献4

中国科学（E辑）
2006年 第10期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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