检索结果-南通市图书馆

一种基于CPN的运行时监控服务交互行为的方法

在线全文

学校读者我要写书评

暂无评论

计算机研究与发展 2011年第12期48卷 2277-2289页

作者：朱俊郭长国吴泉源总参第六十三研究所南京210007 国防科学技术大学计算机学院长沙410073 中国电子设备系统工程公司北京100039

BPEL对Web服务组合的描述特性使得它很难表达和分析服务组合中的交互行为属性.这些行为属性需要遵循一定的交互协议.然而良定义的交互协议还是容易受到侵犯,这将导致服务组合进程产生状态不一致的问题.为了解决这类实际交互行为与其服... 详细信息

BPEL对Web服务组合的描述特性使得它很难表达和分析服务组合中的交互行为属性.这些行为属性需要遵循一定的交互协议.然而良定义的交互协议还是容易受到侵犯,这将导致服务组合进程产生状态不一致的问题.为了解决这类实际交互行为与其服务组合描述之间的不一致性问题,提出了一种由BPEL描述自动构造运行时监控器的方法.首先提出了一种基于有色Petri网(CPN)的形式化表示模型以及服务组合规约到模型的映射方法,用于精确表达从BPEL流程描述中提取的服务交互行为规约.然后,描述了由CPN形式化表示模型生成运行时监控器的方法.该运行时监控器能够捕获所有进出服务组合进程的交互消息,并且检测是否存在违背交互协议的行为.

关键词：运行时监控 Web服务组合有色Petri网 BPEL 交互行为

在线全文

学校读者我要写书评

暂无评论

自适应重配置软件系统的运行时监控方法研究

计算机科学 2013年第11期40卷 191-196页

作者：唐姗李丽萍谭文安上海第二工业大学计算机与信息学院上海201209

运行时监控技术作为实现自适应软件的一个重要研究内容,现已成为当前很多软件工程方法中用来提高软件产品可信性的一个重要设计原则。针对现有的很多软件监控方法常常将系统的监控逻辑与业务功能逻辑混杂在一起的问题,提出了一个需求模... 详细信息

运行时监控技术作为实现自适应软件的一个重要研究内容,现已成为当前很多软件工程方法中用来提高软件产品可信性的一个重要设计原则。针对现有的很多软件监控方法常常将系统的监控逻辑与业务功能逻辑混杂在一起的问题,提出了一个需求模型驱动的、自适应重配置软件的运行时监控方法。以软件系统的目标模型及属性规约为基础,介绍了如何构建系统的监控模型、生成和编织监控代码,以及进行运行时诊断分析和自适应重配置调整。该方法通过采用独立于应用程序的外部单元来实现对运行时系统的监控、诊断和自适应重配置处理。这更利于系统的维护和管理,也更符合软件复用的思想。

关键词：目标模型运行时监控自适应重配置

在线全文

学校读者我要写书评

暂无评论

参数化运行时监控研究

计算机科学 2014年第11期41卷 146-151,174页

作者：王珍叶俊民陈曙辜剑金聪华中师范大学计算机学院武汉430079

随着计算机软件广泛应用于各类安全关键系统以及软件日趋复杂,软件可靠性变得越来越重要。作为一种广泛使用于各种平台的软件解决方案,运行时监控是提高软件可靠性的最灵活的解决方案之一。但随着运行时监控技术以及软件技术的发展,人... 详细信息

随着计算机软件广泛应用于各类安全关键系统以及软件日趋复杂,软件可靠性变得越来越重要。作为一种广泛使用于各种平台的软件解决方案,运行时监控是提高软件可靠性的最灵活的解决方案之一。但随着运行时监控技术以及软件技术的发展,人们希望通过运行时监控技术来验证系统的动态属性,从而提出参数化性质的运行时监控技术。由于其在面向对象系统中的适用性,参数化性质的运行时监控已经受到了越来越多的关注。综述了参数化运行时监控的研究进展,提出了参数化运行时监控的问题定义,介绍了这一领域的主要研究内容:参数化运行时监控方法、减少参数化监控开销的技术、多属性规约的参数化运行时监控。

关键词：运行时监控参数化性质规约参数化运行时监控

在线全文

学校读者我要写书评

暂无评论

一种WS—BPEL流程的运行时监控方法

电子学报 2007年第B12期35卷 174-178页

作者：陈今梁吴国全魏峻中国科学院软件研究所软件工程技术中心北京100080 中国科学技术大学计算机科学技术系安徽合肥230026

WS-BPEL作为一种webservice组合语言，如今在企业解决方案中已经得到了广泛的应用．但是，由于WS-BPEL所依赖的外部服务的自治性以及流程本身的动态性和灵活性，其执行行为在运行前是不可预知的，流程的执行进行监控．本文提出了一种对W... 详细信息

WS-BPEL作为一种webservice组合语言，如今在企业解决方案中已经得到了广泛的应用．但是，由于WS-BPEL所依赖的外部服务的自治性以及流程本身的动态性和灵活性，其执行行为在运行前是不可预知的，流程的执行进行监控．本文提出了一种对WS-BPEL流程执行期进行动态监控的方法．该方法基于Past Linear Temporal Language（PLTL）描述监控规则，采用Aspect Oriented Programming（AOP）技术作为对BPEL引擎扩展监控功能的机制，从而实现对WS-BPEL流程实例的灵活有效监控．该方法在中国科学院软件研究所自主研发的OnceBPEL引擎上已经实现，能够满足灵活有效的监控需求．

关键词： WS-BPEL 运行时监控面向方面编程 Past LTL

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

一种面向Web复合服务的运行时监控方法

计算机应用与软件 2012年第5期29卷 169-171,206页

作者：韩仲志毛晓光国防科学技术大学计算机学院湖南长沙410073

随着计算机技术的发展,软件面临着日益严峻的可信性要求,运行时监控技术作为保证软件可信性的一个重要方法,已受到人们的普遍关注。分析总结传统软件运行时监控技术的基本问题和方法,给出运行时监控的基本视图。针对Web复合服务面临的... 详细信息

随着计算机技术的发展,软件面临着日益严峻的可信性要求,运行时监控技术作为保证软件可信性的一个重要方法,已受到人们的普遍关注。分析总结传统软件运行时监控技术的基本问题和方法,给出运行时监控的基本视图。针对Web复合服务面临的特殊运行环境及监控需求,提出一种监控框架。该框架以事件计算建模行为规约,在无法对构件服务进行插装的情况下实现对复合服务的有效监控。

关键词：运行时监控 Web复合服务事件计算构件服务

在线全文

学校读者我要写书评

暂无评论

面向Web组合服务的运行时监控技术研究

面向Web组合服务的运行时监控技术研究

作者：韩仲志国防科学技术大学

学位级别：硕士

随着生产力和现代科学技术的飞速发展,软件已经渗透到社会各个领域,发挥着重要及不可替代的作用,然而,随着软件规模和复杂度的不断提高,软件失效和软件故障等问题日益增多,给人们的生产生活甚至是国家安全带来巨大的损失及影响。因此如... 详细信息

随着生产力和现代科学技术的飞速发展,软件已经渗透到社会各个领域,发挥着重要及不可替代的作用,然而,随着软件规模和复杂度的不断提高,软件失效和软件故障等问题日益增多,给人们的生产生活甚至是国家安全带来巨大的损失及影响。因此如何确保软件的安全可靠运行受到人们的广泛关注。针对软件的安全可靠运行,研究人员提出了多种解决办法,如模型检验、定理证明、软件测试、运行时监控等等。与此同时,网络技术飞速发展,互联网越来越深入到人们的生产和生活,由此导致软件发展呈现出分布性、开放性不断增加的趋势,出现了多种新兴的软件形式。Web服务便是这样一种新兴的、同时具有极大发展潜力的软件形式。 Web服务是自包含的、模块化的应用程序,在网络中被动态地描述、发布、查找以及调用,具有高度的动态性特征。多个自治的Web服务还可以根据应用需要进行组合,从而提供新的、功能更强的Web组合服务。Web服务具有松散耦合性和高度动态性,组合服务中的各基本服务可能会出现版本升级等不可预测的变化,从而影响整个服务的质量和功用。通过静态测试、验证技术可以保证正确的服务组合,但其实际执行行为仍然可能会与组合服务属性要求不一致,因而有必要实施Web组合服务运行时监控。本文首先研究了传统意义上的软件运行时监控技术,分析总结了运行时监控的基本原理,给出了监控器的基本视图,以此作为对Web组合服务进行监控的技术基础;其次分析研究了Web服务及Web组合服务相关理论及技术,对研究对象建立了整体把握;然后,通过引入基于一阶谓词演算的行动推理理论——事件演算,本文构建了Web组合服务系统的行为性质规约模型,模型对系统事件和流做出了具体定义,完整地表达了系统行为性质;通过对BPEL4WS技术的研究,本文设计了BPEL4WS活动到事件演算的转化模板,实现了从服务合成进程的BPEL4WS描述中自动提取出事件演算形式行为规约的转化算法;最后提出一种基于事件演算的面向Web组合服务的监控框架,并给出了相应的监控算法。

关键词：运行时监控 Web组合服务事件演算行为性质规约监控框架监控算法

基于混成自动机的列控系统超速防护运行时监控方法

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于混成自动机的列控系统超速防护运行时监控方法

作者：胡倩北京交通大学

学位级别：硕士

列车运行控制系统具有分布、动态、多场景融合等特点,系统缺陷在开发阶段难以完全消除。因此,需要在系统部署后实施运行时监控,在发生危险时将系统导向安全侧。运行时验证方法利用形式化语言描述系统期望满足的监控规约,并通过监控器验... 详细信息

列车运行控制系统具有分布、动态、多场景融合等特点,系统缺陷在开发阶段难以完全消除。因此,需要在系统部署后实施运行时监控,在发生危险时将系统导向安全侧。运行时验证方法利用形式化语言描述系统期望满足的监控规约,并通过监控器验证系统当前的运行轨迹是否满足监控规约,从而实施运行时监控。超速防护功能的监控规约既包含复杂的混成行为又高度依赖于列车的运行环境,目前传统的运行时验证方法难以构建有效的监控规约。所以,对超速防护功能的监控规约构建方法的研究十分重要。论文主要工作包含以下四个方面:(1)提出超速防护动态监控规约构建方法。通过混成自动机建模语言建立参数化列车运行控制分层模型,计算模型关于超速防护功能顶层安全需求“列车到达行车许可终点,列车速度不大于零”的可达集。可达集中满足安全需求的部分即为超速防护监控规约。由于可达集随着列车每次运行轨迹的变化而发生改变,所以建立的超速防护监控规约具有动态性。(2)提出基于深度学习结合样条回归的分段速度监控曲线计算算法。基于该算法搭建速度监控曲线计算平台,与参数化列车运行控制分层模型实时交互,实现模型中的速度监控曲线计算功能。该方法用以提升针对不同的列车运行环境,超速防护动态监控规约构建的自动化程度和精确性。(3)结合混成自动机验证理论开发在线超速防护运行时监控原型系统。超速防护运行时监控器周期性地接收列控系统的运行轨迹和速度监控曲线计算平台的曲线参数,实例化列车运行控制分层模型,之后验证系统当前运行轨迹是否符合动态监控规约。(4)以列控系统两类典型危险场景为例示范应用,将本文提出的超速防护监控方法与已有监控方法进行对比,验证其有效性。实验结果表明:所提出的新型监控方法可显著降低监控的误报率与漏报率,并且具有较高的验证效率,可及时发现危险并防护列车在行车许可终点前停车。本文提出的基于混成自动机的超速防护动态监控规约构建方法,完备验证了系统以当前运行轨迹为起点的所有可能后续运行行为。因此,基于该方法构建的监控器具有预判性。本文的研究对提高列车运行的安全性具有重要意义。图48幅,表19个,参考文献61篇。

关键词：列车运行控制系统运行时监控运行时验证超速防护混成自动机

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于CIL的运行时监控设计与实现

基于CIL的运行时监控设计与实现

作者：方昭潭华东师范大学

学位级别：硕士

随着计算机软件行业的不断发展和市场需求的日益旺盛,各行各业都日趋依赖着计算机软件,其故障同样带来的经济损失也日渐庞大。为了降低损失,软件测试已逐渐成为各大软件企业发布软件前的一个重要步骤,然而目前,软件的制作流程逐渐趋于成... 详细信息

随着计算机软件行业的不断发展和市场需求的日益旺盛,各行各业都日趋依赖着计算机软件,其故障同样带来的经济损失也日渐庞大。为了降低损失,软件测试已逐渐成为各大软件企业发布软件前的一个重要步骤,然而目前,软件的制作流程逐渐趋于成熟,实现的周期得以大幅度缩减,这就对开发流程中的测试环节提出了较高的要求,在人工成本不断的增加、以及白盒测试标准的日渐复杂下,实现测试用例自动化生成在保障软件的质量上显得尤为有价值。在自动化测试中,运行时监控是一个不可或缺的技术,监控模块负责收集程序运行过程中的信息,比如执行路径和路径约束,有了这些信息就可以做符号执行,进而求解约束得到测试用例。为了有效的进行自动化白盒测试,测试工具需要先对目标程序代码进行一些预处理操作,收集一些程序中包含的所有类型信息,以便在运行时构建内存布局,方便的根据覆盖策略和符号计算来自动生成测试用例。同时,为了收集程序的符号状态,动态了解程序执行的路径,符号化输入参数,对特殊数据结构进行处理,需要对目标代码进行插桩,这是收集动态符号执行所需信息的最简便方式。本文主要描述并讨论了基于CIL的运行时监控设计与实现,详细描述并分析了如何构建目标程序的类型系统、对目标程序进行运行时插桩,以及构建它们的方案和算法,以便能够为后续符号执行以及测试用例自动输出提供有效的前提条件。本文通过将测试工具CAUT对一些目标代码做实验,证明了这些方案和算法的有效性,反映了其实际应用的有效价值。

关键词：运行时监控类型系统测试用例可视化运行时插桩

C程序运行时监控和验证的插桩方法研究与应用

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

C程序运行时监控和验证的插桩方法研究与应用

作者：朱云龙南京航空航天大学

学位级别：硕士

随着软件在社会生活应用中的不断深入,软件系统的体积和复杂度都呈现出迅速增长的态势,软件可靠性问题也相应成为软件行业发展不容忽视的重要方面。在现有的软件验证技术中,运行时验证作为一种轻量级的验证技术,综合了运行时监控技术和... 详细信息

随着软件在社会生活应用中的不断深入,软件系统的体积和复杂度都呈现出迅速增长的态势,软件可靠性问题也相应成为软件行业发展不容忽视的重要方面。在现有的软件验证技术中,运行时验证作为一种轻量级的验证技术,综合了运行时监控技术和形式化规约技术,是当前软件验证领域的一个研究热点问题。而在运行时验证的技术实现中,一方面需要实现待验证性质的描述和相应验证器的生成,另一方面需要将监控器和验证器集成到待监控的软件系统中,即监控和验证代码的插桩。由于软件体积和复杂度的不断增加,基于日志API监控或手动进行监控验证代码插桩明显不能满足不同平台,不同类型系统监控验证的需求。随着编译器技术和面向方面编程技术的不断发展,利用编译器实现代码自动插桩,借助面向方面语言实现插桩位置描述和模块化管理,正在成为推动运行时验证实际应用的重要研究领域。本文分析了C语言的编译流程,LLVM开源编译器框架及其Clang编译器前端,在此基础上参照面向方面编程的概念,设计并实现了一种针对C程序的面向方面语言MOVEC,其相应编译器能够解析监控器插桩位置的描述并利用源代码插桩技术实现插桩需求。同样基于源代码插桩的技术,本文设计并实现了软件中除0,整数溢出和变量使用前未初始化错误验证器的插桩。通过将MOVEC语言编译器和现有针对C/C++程序的面向方面语言编译器AspectC,Aspect C++在准确性,插桩时间,程序性能影响和程序代码膨胀等方面进行对比,表明MOVEC语言能够在保证对程序性能的低影响前提下,实现更高的准确性,更低的插桩时间,更小的代码膨胀率。实验同时验证了三种常见错误验证器设计和插桩方法的正确性。本文的工作为运行时验证监控器和验证器插桩的自动化,高效率,跨平台实现提供了基础,能够促进运行时验证在实际生活中的应用。

关键词：运行时监控运行时验证源代码插桩 C语言面向方面编程