期刊文献+
共找到15篇文章
< 1 >
每页显示 20 50 100
构件演化中的系统行为一致性的研究 被引量:8
1
作者 罗毅 李兴宇 +2 位作者 关连伟 胡昊 吕建 《计算机科学》 CSCD 北大核心 2008年第1期266-270,300,共6页
构件技术的发展,减少了开发应用程序的时间和复杂度,同时也为软件提供了更好的动态演化能力。基于构件的软件系统是通过在构件间建立交互关系,将多个构件组织成一个统一的整体得到的。因此在构件演化时,例如对构件功能实现进行改变,可... 构件技术的发展,减少了开发应用程序的时间和复杂度,同时也为软件提供了更好的动态演化能力。基于构件的软件系统是通过在构件间建立交互关系,将多个构件组织成一个统一的整体得到的。因此在构件演化时,例如对构件功能实现进行改变,可能导致系统运行偏离原来的系统行为。我们的工作就是在构件演化时对系统行为进行一致性检查,保证构件的功能实现的变化不会使系统行为偏离原来的系统。在本文中首先通过Petri-net的形式化方法,对系统实现中包括的构件的功能实现和构件间的交互进行建模,并通过以上信息推导得到系统行为。在此基础之上,根据基于行为继承理论的行为一致性规则的要求对定义的系统功能行为进行验证,以保证构件演化时系统行为的改变符合行为的一致性要求,同时又保证了构件演化的灵活性。 展开更多
关键词 构件演化 系统行为 行为一致性
在线阅读 下载PDF
基于进程代数的构件动态演化行为一致性研究 被引量:4
2
作者 申利民 马川 王涛 《计算机应用研究》 CSCD 北大核心 2009年第4期1345-1348,1352,共5页
为了保证构件在动态演化时的行为一致性,提出了一种基于进程代数的构件模型,形式化描述了构件及其对外交互协议,引入了对外主动请求接口和内部连接,并给出了行为一致性验证的规则和相关定理;然后给出了验证算法;最后,通过一个构件化系... 为了保证构件在动态演化时的行为一致性,提出了一种基于进程代数的构件模型,形式化描述了构件及其对外交互协议,引入了对外主动请求接口和内部连接,并给出了行为一致性验证的规则和相关定理;然后给出了验证算法;最后,通过一个构件化系统的实例来说明所提出方法的可行性。 展开更多
关键词 构件 动态演化 进程代数 行为一致性 主动请求接口
在线阅读 下载PDF
基于构件动态演化的行为一致性验证方法 被引量:3
3
作者 马川 申利民 王涛 《计算机工程》 CAS CSCD 北大核心 2010年第6期80-83,共4页
为了保证构件在动态演化中的行为一致性,避免不合法的构件演化,提出一种基于进程代数的构件模型,引入对外主动请求接口和内部连接,形式化描述构件及其对外交互协议,给出相关定理和验证算法。实例证明,该构件模型可以验证动态演化中的接... 为了保证构件在动态演化中的行为一致性,避免不合法的构件演化,提出一种基于进程代数的构件模型,引入对外主动请求接口和内部连接,形式化描述构件及其对外交互协议,给出相关定理和验证算法。实例证明,该构件模型可以验证动态演化中的接口兼容性、外部交互行为一致性,以及运行时行为完整性。 展开更多
关键词 构件 动态演化 行为一致性 进程代数 主动请求接口
在线阅读 下载PDF
基于Petri网的软件动态演化的一致性分析 被引量:3
4
作者 谢仲文 明利 +3 位作者 林英 秦江龙 莫启 李彤 《计算机科学》 CSCD 北大核心 2016年第11期234-241,共8页
在分析软件动态演化面临的挑战的基础上,以扩展的Petri网为主形式化工具,基于面向动态演化的SA元模型DEAM,对如何保证动态演化的一致性问题进行分析。首先,讨论了一致性分析的总体思路和策略,确定以构件作为动态演化实施和分析的基本对... 在分析软件动态演化面临的挑战的基础上,以扩展的Petri网为主形式化工具,基于面向动态演化的SA元模型DEAM,对如何保证动态演化的一致性问题进行分析。首先,讨论了一致性分析的总体思路和策略,确定以构件作为动态演化实施和分析的基本对象;其次,从构件结构演化的视角对构件的子网类型进行分析,提出了保证结构一致性的方法;再次,从构件行为演化的视角,分别从内部和外部观察构件演化前后的行为,并通过建立模拟关系来分析和判断演化前后构件的行为是否一致;最后,通过案例研究对所提方法的可行性进行验证。 展开更多
关键词 软件动态演化 软件体系结构 行为模拟 一致性保持
在线阅读 下载PDF
基于动态构件框架的构件演化 被引量:10
5
作者 符进强 汪洋 钱乐秋 《计算机科学》 CSCD 北大核心 2001年第1期21-24,共4页
1 引言 软件系统是对现实世界模型的反映,现实世界的变化要求软件系统进行相应的演化.软件演化是软件系统的动态行为,贯穿整个软件生命周期,从系统的初始开发阶段到最终的软件维护.软件演化包括软件系统的过程、方法、技术、组织方式等... 1 引言 软件系统是对现实世界模型的反映,现实世界的变化要求软件系统进行相应的演化.软件演化是软件系统的动态行为,贯穿整个软件生命周期,从系统的初始开发阶段到最终的软件维护.软件演化包括软件系统的过程、方法、技术、组织方式等的演化.基于软件构架和构件的开发方法实现的系统比传统的开发方法具有更好的易演化性.软件构架高度抽象地描述了软件系统的结构,包括系统元素的描述、元素之间的交互、用于指导元素复合的模式和这些模式的约束.构件是组成构架的基本元素,是对系统应用功能的实现;构件封装了功能性,有着自己的内部状态信息;构件的实现是异质的(可以用多种语言实现),而且在系统实现中可能使用的是第三方提供的构件. 展开更多
关键词 动态构件框架 构件演化 软件系统 软件工程
在线阅读 下载PDF
基于协议的实时构件行为一致性验证 被引量:2
6
作者 张振领 贾仰理 +1 位作者 谢圣献 李舟军 《计算机科学》 CSCD 北大核心 2012年第6期125-128,142,共5页
对复杂实时构件系统行为进行形式化描述和一致性验证,可以提高实时构件的可复用性和系统的正确性、可靠性。分析了时间行为协议TBP(Timed Behavior Protocol)及其它学术界和工业界常用的时序行为形式化描述方法,对实时构件替换理论进行... 对复杂实时构件系统行为进行形式化描述和一致性验证,可以提高实时构件的可复用性和系统的正确性、可靠性。分析了时间行为协议TBP(Timed Behavior Protocol)及其它学术界和工业界常用的时序行为形式化描述方法,对实时构件替换理论进行了讨论,给出了基于时间行为协议的构件一致性验证算法并对其进行了分析。 展开更多
关键词 实时构件 时间行为协议 形式化描述 一致性验证
在线阅读 下载PDF
构件演化的交互行为一致性研究 被引量:1
7
作者 祁晓园 王涛 马川 《计算机工程》 CAS CSCD 北大核心 2010年第24期51-53,56,共4页
构件演化前后的交互行为执行序列不一致,会导致系统行为偏离系统的功能目标。针对该问题,基于进程代数描述构件间的交互行为,归纳交互行为一致性的定义,给出交互行为一致性所需满足的约束条件,提出一种保证交互行为一致性的方法。实例... 构件演化前后的交互行为执行序列不一致,会导致系统行为偏离系统的功能目标。针对该问题,基于进程代数描述构件间的交互行为,归纳交互行为一致性的定义,给出交互行为一致性所需满足的约束条件,提出一种保证交互行为一致性的方法。实例分析结果证明了该方法的可行性和正确性。 展开更多
关键词 构件 演化 交互行为一致性 进程代数 行为迹
在线阅读 下载PDF
程序调试中的数据结构演变可视化方法 被引量:1
8
作者 苏庆 陈建成 +2 位作者 顾国生 刘冬宁 黄剑锋 《计算机工程》 CAS CSCD 北大核心 2024年第9期197-207,共11页
数据结构是程序执行时的重要信息载体,其演变过程往往较为复杂和抽象。针对程序设计初学者较难理解数据结构演变过程的问题,提出一种面向程序调试中的数据结构演变可视化方法。在调试开始时,首先使用组件表达式表示数据结构,然后通过配... 数据结构是程序执行时的重要信息载体,其演变过程往往较为复杂和抽象。针对程序设计初学者较难理解数据结构演变过程的问题,提出一种面向程序调试中的数据结构演变可视化方法。在调试开始时,首先使用组件表达式表示数据结构,然后通过配置表以及布局函数将组件表达式生成可视化视图。在进行单步调试后,通过对比单步调试前后的可视化数据方式生成组件演变行为,运用有限状态机理论构建数据结构演变模型,该模型的执行使得组件发生演变,同时生成可视化动作。使用动画单元执行可视化动作,实现数据结构演变的可视化呈现,帮助初学者理解数据结构相关程序的执行过程。实验结果表明,将该方法应用于1个数据结构演变可视化框架StructV,并应用于1个在线可视化编程实训云平台的研发,可有效降低初学者理解数据结构演变过程的难度,并提升编程实训时的程序调试效率。 展开更多
关键词 程序调试 数据结构可视化 组件演变行为 有限状态机 数据结构演变模型
在线阅读 下载PDF
构件组合的一致性验证和冗余行为去除 被引量:1
9
作者 杨春霞 王映辉 王宏涛 《计算机工程》 CAS CSCD 北大核心 2010年第24期54-56,共3页
构件组合的一致性验证和冗余行为的去除是基于构件的软件开发领域的重要问题。基于此,通过把组合接口自动机看作从初始状态出发,经过由2个构件的交替动作重新回到初始状态的过程,用更直观的方法表示构件组合中的非法状态。以场景规范的... 构件组合的一致性验证和冗余行为的去除是基于构件的软件开发领域的重要问题。基于此,通过把组合接口自动机看作从初始状态出发,经过由2个构件的交替动作重新回到初始状态的过程,用更直观的方法表示构件组合中的非法状态。以场景规范的形式化方法为基础,利用接口自动机的过程性质给出构件组合的一致性检查的算法及去除冗余行为的方法。 展开更多
关键词 基于构件的软件开发 接口自动机 非法状态 一致性验证 冗余行为
在线阅读 下载PDF
一种软件可行性评估模型的仿真研究
10
作者 汤效琴 《计算机仿真》 CSCD 北大核心 2014年第1期278-281,共4页
通过对软件构件演化对软件系统的可靠性和系统行为的一致性进行研究,有利于掌握软件的性能。当前的软件功能越来越多,可行性评估指标也日趋复杂,很难在根据几个单一的指标完成评估,传统的评估方法无法在指标存在制约的情况下,建立的评... 通过对软件构件演化对软件系统的可靠性和系统行为的一致性进行研究,有利于掌握软件的性能。当前的软件功能越来越多,可行性评估指标也日趋复杂,很难在根据几个单一的指标完成评估,传统的评估方法无法在指标存在制约的情况下,建立的评估模型很难准确描述制约关系,造成后期评估的不准确。通过研究软件构件演化的可靠性评估模型和前提条件,并在满足软件系统一致性的前提下,提出了AHP层次分析方法的软件可行性评估模型,首先利用目标指标对可执行方案的有利度矩阵和决策矩阵进行生成,然后依据各方案的权重进行目标指标下的参数求解,最后对各方案进行可行性优先排序,从而得到具有最佳预期收益的软件构件演化方案。仿真分析表明,改进方法得到的方案是最优且可行的。 展开更多
关键词 软件构件演化 系统行为一致性 软件可行性评估
在线阅读 下载PDF
基于高阶π演算的构件演化模型研究 被引量:1
11
作者 何海洋 李强 +1 位作者 余祥 韩翔宇 《计算机应用研究》 CSCD 北大核心 2017年第1期67-74,共8页
为满足构件演化形式化分析的需要,确保演化正确性,提出了一种基于高阶π演算的构件演化模型。在定义演化构件的基础上,将演化过程中的行为描述为原子行为、结构行为和操作行为,建立行为与高阶π演算间的转换规则、演化行为推演规则,根... 为满足构件演化形式化分析的需要,确保演化正确性,提出了一种基于高阶π演算的构件演化模型。在定义演化构件的基础上,将演化过程中的行为描述为原子行为、结构行为和操作行为,建立行为与高阶π演算间的转换规则、演化行为推演规则,根据演化过程中行为之间的关系,建立演化冲突检测机制,定义互斥冲突、重复冲突、条件冲突和包含冲突四类冲突,在分析冲突条件的基础上,设计了演化冲突检测算法,实现了构件演化的形式化分析。通过实例验证了模型的可行性。 展开更多
关键词 构件 软件演化 高阶π演算 演化行为 冲突检测
在线阅读 下载PDF
基于高阶π演算的构件演化行为研究 被引量:1
12
作者 何海洋 李强 +1 位作者 余祥 韩翔宇 《计算机科学》 CSCD 北大核心 2017年第3期202-208,共7页
用形式化的方法分析软件演化过程中构件的行为已成为目前构件开发中的研究热点。为了满足构件演化过程中行为建模形式化的需要,建立了一种基于高阶π演算的构件演化行为分析方法。对构件演化行为进行分类,将顺序图表示的演化请求转换成... 用形式化的方法分析软件演化过程中构件的行为已成为目前构件开发中的研究热点。为了满足构件演化过程中行为建模形式化的需要,建立了一种基于高阶π演算的构件演化行为分析方法。对构件演化行为进行分类,将顺序图表示的演化请求转换成高阶π演算进程表达式,通过高阶π演算的语法语义和等价理论等数学基础对演化行为进行推演,并检测演化中是否存在死锁问题。最后通过实例对该方法进行分析说明,从而验证了该方法的可行性和有效性。 展开更多
关键词 构件演化 演化行为 高阶π演算
在线阅读 下载PDF
基于反射机制的系统行为一致性判定模型研究
13
作者 陈艳 肖刚 +2 位作者 张元鸣 徐俊 陆佳炜 《计算机应用研究》 CSCD 北大核心 2011年第2期625-628,共4页
构件演化是一种基于软件产品族的软件开发方法,它能够以较低的开发成本满足用户不断变化的功能需求。然而,构件演化可能会导致系统演化前后行为的不一致。对构件演化一致性问题进行了较为深入的研究,提出了正常运行一致性、兼容性一致... 构件演化是一种基于软件产品族的软件开发方法,它能够以较低的开发成本满足用户不断变化的功能需求。然而,构件演化可能会导致系统演化前后行为的不一致。对构件演化一致性问题进行了较为深入的研究,提出了正常运行一致性、兼容性一致性的概念,并把兼容性一致性分为观察一致性、弱一致性、强一致性,并基于反射机制建立了一种构件系统行为一致性判定模型,通过对对象状态序列和交叉序列的判定来对演化部分的局部系统行为进行一致性判定,从而对全局系统行为一致性进行判定。该模型通过监视器对构件互操作协议进行监测,能够自动判定演化后的系统是否与演化前保持一致。最后将该模型应用于实际系统的开发中,验证了该方法的可行性和有效性。 展开更多
关键词 构件演化 系统行为 行为一致性 反射机制
在线阅读 下载PDF
核部件缓发γ能谱时间演化行为模拟
14
作者 郭春营 陶灵姣 +2 位作者 刘志勇 李虹轶 罗昆升 《原子能科学技术》 EI CAS CSCD 北大核心 2019年第12期2327-2335,共9页
在分析无外中子源照射条件下核部件中裂变产物的来源及其释放缓发γ射线机理基础上,提出了应用CINDER90程序计算核部件中裂变产物活度的方法,计算并分析了裂变产物的种类、活度及其随辐照时间和冷却时间的变化规律,继而根据裂变产物β-... 在分析无外中子源照射条件下核部件中裂变产物的来源及其释放缓发γ射线机理基础上,提出了应用CINDER90程序计算核部件中裂变产物活度的方法,计算并分析了裂变产物的种类、活度及其随辐照时间和冷却时间的变化规律,继而根据裂变产物β-衰变释放的特征γ射线的能量与分支比数据,计算得到了核部件中裂变产物缓发γ射线源项,并应用蒙特卡罗方法计算了核部件释放的缓发γ能谱随辐照时间和冷却时间的变化,分析了缓发γ能谱的时间演化行为。结果表明:核部件缓发γ能谱中强度最大的γ射线是裂变核素140 Laβ-衰变发射的1596 keV射线,且该γ射线的强度在部件组装一定时间后保持稳定,该结果与文献结果符合一致。本文提出的裂变产物缓发γ能谱模拟计算方法和结果可为核部件γ能谱的测量与分析提供参考。 展开更多
关键词 核部件 裂变产物 缓发γ能谱 时间演化 蒙特卡罗模拟
在线阅读 下载PDF
The impact of kleptoparasitic invasions on the evolution of gall-size in social and solitary Australian Acacia thrips 被引量:1
15
作者 THOMAS WILLIAM CHAPMAN KAREN LEAH FRANCIS-GEYER MICHAEL PHILIP SCHWARZ 《Insect Science》 SCIE CAS CSCD 2006年第5期391-400,共10页
Many species of gall-inducing Acacia thrips are attacked by kleptoparasitic thrips who enter the gall, destroy the occupants, and then use the gall for producing their own offspring. The hypothesis tested here is that... Many species of gall-inducing Acacia thrips are attacked by kleptoparasitic thrips who enter the gall, destroy the occupants, and then use the gall for producing their own offspring. The hypothesis tested here is that pressure exerted by ldeptoparasites (genus Koptothrips) not only provoked the evolution of soldiers in the gall-inducing clade, but have also influenced the evolution of gall size and morphology. Various size dimensions of invaded galls were compared to those of uninvaded galls using data from six gall-inducing species and their kleptoparasites. For the non-social gall-inducing species (K. ellobus and K. nicholsoni) invaded galls showed no significant size differences from galls that had not been invaded. For the four social gall-inducingspecies (K. habrus, K. intermedius, K. waterhousei and K. morrisi) invaded galls were significantly narrower and/or shorter than uninvaded galls. Galls of social species that had not been invaded and contained adult soldiers were significantly larger than galls where soldiers were still at a larval stage, suggesting that gall size is related to gall age in these species. An hypothesis is proposed that links the timing of invasion by kleptoparasites to size of the host gall: induction of a smaller gall by host founders will reduce the period of vulnerability to invasion (before soldiers become adults) for social thrips by allowing foundresses in these smaller galls to begin laying soldierdestined eggs relatively sooner. 展开更多
关键词 evolution of gall-size Kladothrips Koptothrips principal components analysis SOLDIERS social behavior
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部