期刊文献+

基于WS-BPEL过程的Web服务依赖关系分析 被引量:1

Dependency analysis of Web services based on WS-BPEL processes
在线阅读 下载PDF
导出
摘要 构件和服务等软件实体的动态更新是支撑软件系统在线演化的关键技术,该技术可以在不中断系统运行的前提下对软件系统的结构或行为进行调整。然而,为保证更新前后系统行为的一致性,只有当软件实体处于安全状态时方可进行更新。以基于WS-BPEL(Web Service Business Process Execution Language)的软件系统为例,通过分析WS-BPEL过程与其成员服务间的依赖关系,提出了一种可预判成员服务是否动态更新的算法。实验结果表明,依赖分析算法可以有效预判成员服务可动态更新的时机,从而在不影响系统行为一致性的前提下有效减少动态更新所引起的服务中断。 To make a service-oriented system dynamically adapt to its changing environment and requirement, it often needs to update some of its member services at runtime without wholly shutting it down. However, in order to ensure the consistency of the system, a member service can only be updated when it is in a safe state. In this paper, it studies the dependences between WS-BPEL (Web Service Business Process Execution Language) processes and their partners, which are used to predict the safe time points for dynamic updates. The experiment shows that the algorithm can help to update services in a low-disruptive way and without any compromise on system consistency.
出处 《计算机工程与应用》 CSCD 2014年第2期25-30,74,共7页 Computer Engineering and Applications
基金 国家重点基础研究发展计划(973)(No.2009CB320702) 国家自然科学基金(No.61021062 No.61003019)
关键词 在线演化 动态更新 Web服务业务流程执行语言(WS BPEL) 依赖 on-line evolving dynamic update Web Service Business Process Execution Language(WS-BPEL) dependency
  • 相关文献

参考文献2

二级参考文献25

  • 1吕建,马晓星,陶先平,徐锋,胡昊.网构软件的研究与进展[J].中国科学(E辑),2006,36(10):1037-1080. 被引量:101
  • 2姜淑娟,徐宝文,史亮.一种基于异常传播分析的数据流分析方法[J].软件学报,2007,18(1):74-84. 被引量:14
  • 3胡昊,殷琴,吕建.虚拟计算环境中服务行为与质量的一致性[J].软件学报,2007,18(8):1943-1957. 被引量:9
  • 4Hedley D, Hennell M A. The causes and effects of infea- sible paths in computer programs[C]//Proceedings of the 8th International Conference on Software Engineering (ICSE '85). Los Alamitos, CA, USA: IEEE Computer Society Press, 1985: 259-266.
  • 5Bodik R, Gupta R, Soffa M L. Refining data flow infor- mation using infeasible paths[C]//Proceedings of the 6th European Software Engineering Conference Held Jointly with the 5th ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC/FSE). New York, NY, USA: Springer-Verlag New York, Inc, 1997: 361-377.
  • 6Ngo M N, Tan H B K. Detecting large number of infeasi- ble paths through recognizing their patterns[C]//Procee- dings of the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Sympo- sium on the Foundations of Software Engineering (ESEC/ FSE), Cavat near Dubrovnik, Croatia, 2007. New York, NY, USA: ACM, 2007: 215-224.
  • 7McCabe T J. Structural testing: a software testing meth-odology using the cylomatic complexity metric[M]. Washington, DC: NIST Special Publication, 1982.
  • 8蒋立源,康慕宁.编译原理[M].西安:西北工业大学出版社,2006.
  • 9唐鹏飞.考虑指针别名的静态分析技术研究[D].成都:电子科技大学,2007.
  • 10Malevris N. A path generation method for testing LCSAJs that restrains infeasible paths[J]. Information and Soft- ware Technology, 1995, 37(8): 435-441.

共引文献12

同被引文献8

引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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