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

可靠服务组合的协调策略与分析 被引量：12

A Coordination Strategy for Reliable Service Composition and Its Analysis
下载PDF
导出
摘要 服务组合是构建复杂Web软件的有效方法,但服务事务状态的多样性使得服务组合的可靠性难以保证.为此,提出一种构造可靠服务组合的协调方法.该方法采用Petri网对工作流建模,以清晰地表达任务及任务之间的逻辑关系.在此基础上,根据服务的事务属性及服务组合的失效处理机制建立服务组合的失效处理模型,并提出一种构造可靠服务组合的协调策略及实施方法.利用Petri网相关理论证明该策略的有效性.旅游服务实例演示了协调技术的应用方法及其可行性. Service composition is an effective way to build complex Web software systems. How ever, the diversity of service transaction states makes it hard to guarantee reliability of the composite service. This paper presents a coordination method for constructing reliable service composition. Petri nets are used to modeling workflows, such that tasks and their relationships are articulated. Based on this, a Service Composition＇s Failure Processing （SCFP） model is established according to transaction properties and service failure processing mechanisms. A coordination strategy and the corresponding enforcement method for constructing reliable service composition are proposed. Theories of Petri nets help prove soundness of the strategy. A case study of Travel Service demonstrates the usage of the coordination technique and its feasibility as well.
作者 范贵生 刘冬梅 陈丽琼 虞慧群
机构地区 华东理工大学计算机科学与工程系
出处 《计算机学报》 EI CSCD 北大核心 2008年第8期1445-1457,共13页 Chinese Journal of Computers
基金 国家自然科学基金(60473055 60773094) 上海市曙光计划(07SG32)资助~~
关键词 PETRI网 WEB服务 服务组合 事务 可靠性 Petri nets Web service service composition transaction reliability
分类号 TP311 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献18

  • 1Ambrogio A D, Bocciarelli P. A model-driven approach to describe and predict the performance of composite services// Proceedings of the 6th International Workshop on Software and Performance. New York, 2007:78-89
  • 2Papazoglou M P, Heuvel W J. Service oriented architectures: approaches, technologies and research issues. International Journal on Very Large Data Bases, 2007, 16(3) : 389- 415
  • 3Hinz S, Schmidt K, Stahl C. Transforming BPEL to Petri nets//Proceedings of the 3rd International Conference on Business Process Management. Heidelberg, 2005:220-235
  • 4Aalst W P, Dumas M, Ouyang C, Rozinat A, Verbeek E. Conformance checking of service behavior. ACM Transactions on Internet Technology, 2008, 8(3): 1-30
  • 5Bhiri S, Godart C, Perrin O. Transactional patterns for reliable Web services compositions//Proceedings of the 6th International Conference on Web Engineering. New York,2006:137-144
  • 6Girault C, Valk R. Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications. Berlin: Springer-Verlag, 2003
  • 7Canfora G, Penta M D, Esposito R, Villani M L. QoS-aware replanning of composite Web services//Proceedings of the IEEE International Conference on Web Services. Washington, USA, 2005:121-129
  • 8Bhiri S, Perrin O, Godart C. Ensuring required failure atomicity of composite Web services//Proceedlngs of the 14th International Conference on World Wide Web. New York, 2005: 138-147
  • 9Schuldt H, Alonso G, Schek H. Concurrency control and recovery in transactional process management//Proceedings of the Eighteenth ACM SIGMOD-SIGACT SIGART Symposium on Principles of Database Systems. New York, 1999: 316-326
  • 10Bhiri S, Perrin O, Godart C. Extending workflow patterns with transactional dependencies to define reliable composite Web serviees//Proceedings of the Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services. Washington, USA, 2006:145-145

二级参考文献25

  • 1Peterson J.L. Petri nets. ACM Computing Surveys, 1977, 9(3): 223～252
  • 2Foster I., Kesselman C., Nick J.M. et al. Grid services architecture for distributed systems integration. Computer, 2002, 35(6): 37～46
  • 3Reed D.P. Implementing atomic actions on decentralized data. ACM Transactions on Computer Systems, 1983, 1(1): 3～23
  • 4Garcia-Molina H., Sale K. Sagas. ACM SIGMOD record. In: Proceedings of the 1987 ACM SIGMOD International Conference on Management of Data, USA, 1987, 16(3): 249～259
  • 5Chrysanthis P.K., Ramamriham K. Synthesis of extended transaction models using ACTA. ACM Transactions on Database Systems, 1994, 19(3): 450～491
  • 6Tang F.L., Li M.L., Cao J. et al. GSPD: A middleware that supports publication and discovery of Grid services. In: Proceedings of the 2nd International Workshop on Grid and Cooperative Computing, China, LNCS 3032, 2003, 738～745
  • 7Murata T. Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 1989, 77(4): 541～580
  • 8Koehler J., Srivastava B. Web service composition: Current solutions and open problems. In: Proceedings of the 13th International Conference on Automated Planning & Scheduling, Trento, Italy, 2003, 28～35
  • 9Milner R. Communication and Concurrency. Englewood Cliffs: Prentice -Hall, 1989
  • 10Fensel D. The semantic web and its languages. IEEE Intelligent Systems, 2000, 15(6): 67～73

共引文献115

同被引文献85

引证文献12

二级引证文献67

计算机学报
2008年 第8期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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