期刊文献+

一种面向Web复合服务的运行时监控方法 被引量:1

A RUNTIME MONITORING METHOD FOR COMPOSITE WEB SERVICES
下载PDF
导出
摘要 随着计算机技术的发展,软件面临着日益严峻的可信性要求,运行时监控技术作为保证软件可信性的一个重要方法,已受到人们的普遍关注。分析总结传统软件运行时监控技术的基本问题和方法,给出运行时监控的基本视图。针对Web复合服务面临的特殊运行环境及监控需求,提出一种监控框架。该框架以事件计算建模行为规约,在无法对构件服务进行插装的情况下实现对复合服务的有效监控。 With the rapid development of computer technology,software is facing increasingly severe dependability requirements.As a result,runtime monitoring has attracted wide public concern as an important way to ensure software dependability.In this paper we analyse and summarise the basic problem and method of traditional runtime monitoring technology,present a basic view in regard to the runtime monitoring method.Then we propose a monitoring framework for special running environment and monitoring demands the composite Web services encountering.The framework uses the event calculus to model behaviour protocol,and achieves effective monitoring of the composite services in the case of being unable to instrument in component services.
出处 《计算机应用与软件》 CSCD 北大核心 2012年第5期169-171,206,共4页 Computer Applications and Software
关键词 运行时监控 Web复合服务 事件计算 构件服务 Runtime monitoring Composite Web services Event calculus Component service
  • 相关文献

参考文献8

  • 1郭长国,朱俊,初宁.一种分布式软件运行时监控机制[J].计算机与数字工程,2008,36(11):33-35. 被引量:4
  • 2Tsalgatidou A, Pilioura T. An overview of standards and related technol- ogy in web services[ J ]. Distributed and Parallel Databases,2002,12 (2 -3) :135 -162.
  • 3Delgado N, Gates A, Roach S. A Taxonomy and Catalog of Runtime Software-Fanlt Monitoring Tools [ J ]. IEEE Transactions on Software Engineering,2004.30 ( 12 ) :859 - 872.
  • 4刘彦斌,朱小冬.基于程序运行形式化分析的软件故障监控技术[J].计算机工程,2006,32(10):58-59. 被引量:3
  • 5Spanoudakis G, Mahbub K. Requirements Monitoring for Service-Based Systems:Towards a framework based on Event Calculus [ C ]//Proceed- ings. 19th International Conference on Automated Software Engineer- ing. Washington,DC:IEEE Computer Society,2004:379 -384.
  • 6Gan Y, Chechik M, Nejati S. Runtime Monitoring of Web Service Con- versations[C ]//Proceedings of the 2007 conference of the center for advanced studies on Collaborative research. New York:ACM,2007.
  • 7Wang Q,Shao J, Deng F, et al. An Online Monitoring Approach for Web Service Requirements [ J ]. IEEE Transactions On Services Computing, 2009,2(4) :338 -351.
  • 8孙明杰,李必信,张鹏程.一种基于监控需求的Web服务运行时监控方法[J].东南大学学报(自然科学版),2009,39(4):716-722. 被引量:4

二级参考文献29

  • 1Trusted Computing Group, TCG Architecture Overview, vl. 2, 28 2004,4.
  • 2Luckham, D., W. Helmbold. An overview of for Ada[J]. IEEE Software, Mann, S. Meldal, and D. Anna: Specification language 1988.
  • 3D. S. Rosenblum. A practical approach to pro- gramming with assertions[J]. IEEE Transactions on Soft- ware Engineering, 1995.
  • 4S. Sankar, M. Mandal. Concurrent runtime monitoring of formally specified programs[J]. IEEE Computer, 1993.
  • 5F. Chen, G. Rosu. Towards Monitoring-Oriented Programming: A paradigm combining specification and implementation[J]. In Runtime Verification 2003.
  • 6K Chen, G. Rosu. Java-MOP: A monitoring oriented programming environment for java[C]. In European Joint Conferences on Theory and Practice of Software (ETAPS 2005), 2005.
  • 7F. Chen, G. Rosu. MOP: An efficient and generic runtime verification framework[C]. In OOPSLA07, 2007.
  • 8B. Meyer. Object Oriented Software Construction [M]. Prentice-Hall, 1998.
  • 9B. Meyer. The founder of the Eiffel language programmer[J]. Technical report, InformIT, 2003.
  • 10Teller, P., M. Maxwell, and A. Gates, Towards the design of a snoopy coprocessor for dynamic software-fault detection [C]. In IEEE International Performance, Computing, and Communications Conference, 1999.

共引文献8

同被引文献8

引证文献1

二级引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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