运行时监控相关论文
迁移工作流是将移动Agent技术引入传统的工作流管理系统而得到的一种新的计算模式,是近年来工作流管理研究的一个新方向,具有很好......
面向服务的体系结构(Service-Oriented Architecture, SOA)是分布式计算和软件开发的最新发展方向。SOA的目的是以Web服务为基础，有......
随着以Internet软件为核心的信息系统的深入,基于Internet的分布式计算机系统及开放式网络环境增加了系统的复杂度、故障率和不安......
为了实时、准确地获取工作流服务及其构件服务的运行状态,提出了一种基于探针的Web服务运行时监测方法。该方法采用面向方面编程（AO......
为保证Web服务业务流程及时、准确地获得所调用服务的性能状况，提出了一种轻量级的Web服务运行时的监控和性能数据动态采集框架。该......
运行时监控技术作为实现自适应软件的一个重要研究内容,现已成为当前很多软件工程方法中用来提高软件产品可信性的一个重要设计原......
运行时验证是一种轻量级的验证方法,通过实时地监测系统的行为,验证系统的正确性,及时发现冲突,并发出警告或作出反应。运行时验证......
随着计算机软件广泛应用于各类安全关键系统以及软件日趋复杂,软件可靠性变得越来越重要。作为一种广泛使用于各种平台的软件解决......
WS-BPEL作为一种webservice组合语言，如今在企业解决方案中已经得到了广泛的应用．但是，由于WS-BPEL所依赖的外部服务的自治性以及流程......
提出了一种基于用户监控需求的Web服务运行时监控方法，给出了一个端到端的监控实施原型框架.首先采用WS-Policy对用户的多样性监控......
BPEL对Web服务组合的描述特性使得它很难表达和分析服务组合中的交互行为属性.这些行为属性需要遵循一定的交互协议.然而良定义的......
当前可信计算平台缺乏对自身运行时安全属性的监控,对此,提出一种针对嵌入式可信平台的运行时监控方法。通过自动化的代码插入和运......
软件运行时验证是一种近年来逐步兴起的通过监控程序运行来检验其是否满足给定性质的轻量级验证技术。由于复杂性质的运行时验证中......
随着软件在社会生活应用中的不断深入,软件系统的体积和复杂度都呈现出迅速增长的态势,软件可靠性问题也相应成为软件行业发展不容......
调试或测试分布式系统是一项重大的挑战。文中，作者在D3S系统架构上实现了一个针对分布式系统的运行时监控系统。介绍了该监控系统......
软件在信息社会生活中起着越来越重要的作用，而如何提高软件系统的可信性也成为研究的重要课题，而运行时监控技术是提升软件可信性的......
传统的操作系统安全技术可以较好地防范用户级的攻击,却难以有效抵御内核级别的攻击。因为以内核特权级运行的恶意代码有能力颠覆......
传统的形式化方法和软件运行时监控都是提高软件可信性的有效途径，但存在监控需求表达能力不强及代码分散等问题。针对该问题，提出基......
Web服务(Web Services)是构造下一代分布式计算平台的基本技术。单个Web服务所能够提供的功能有限,服务复合(Services Composition......
通过监控程序运行检验软件运行是否满足给定性质的轻量级验证中常产生高额的时间开销,阻碍了该技术部署后在系统中的应用。如何减......
在复杂多变且不可预知的因特网环境中，Web组合服务的实际交互行为和它本身定义的规约之间的一致性是难以确保的。为了解决这个问题，......
为实现在系统层面对程序运行时行为的监控,本文设计了基于虚拟机的程序运行时动态监控框架。利用事件驱动机制,借助虚拟机翻译程序......
随着计算机技术的发展,软件面临着日益严峻的可信性要求,运行时监控技术作为保证软件可信性的一个重要方法,已受到人们的普遍关注......
当前,互联网不仅是信息传输的基础设施,而且是信息处理和服务共享的基础设施。以资源聚合和按需服务为主要理念的云计算的迅速发展......
