收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

面向方面的网构软件动态演化一致性保障技术研究

周学尧  
【摘要】:随着用户需求和开放的网络计算环境的不断变化,软件复杂性与演化要求也随之不断增强,实现Internet软件的自适应性和软件系统的动态演化对那些连续运行、安全攸关的应用有着重要的意义。由于系统关注点的彻底分离有助于动态演化的实现,所以从面向方面软件体系结构出发,研究方面化网构软件动态演化的一致性技术,以确保动态演化的正确、可行。 首先,扩展了Darwin语言,通过新增方面定义构建ADarwin语言,使之用于描述可动态演化面向方面软件体系结构。由于面向方面软件体系结构是方面化构件系统的高层抽象和集成蓝图,它的形式化描述和分析能够为体系结构动态演化的一致性验证提供行为和语义基础。因此基于Pi-演算提出了ADarwin的面向方面软件体系结构的语义模型,设计了方面化构件动态演化行为一致性验证方法,对演化后方面化构件的行为交互进行推导,最终判断演化是否行为一致。 其次,设计了一种方面化构件系统动态编织框架DWA(Dynamic Weaving framework for Aspectual component-based system),给出了DWA框架与体系结构规约、系统实现之间的映射关系。通过ADarwin语言形式化描述了方面化构件动态演化过程。通过实例研究阐述DWA框架的具体实现技术,保证了面向方面体系结构规约和方面化系统实现之间的一致性关系。 最后,以一个方面化构件系统——酒店管理系统为例,针对动态演化行为一致性验证方法及DWA演化框架进行分析。分析结果表明,新增的方面相关切入点健壮性验证是对当前行为一致性验证方法的补充,有效的验证了方面化构件系统演化行为的一致性,而DWA也在实例验证下证明了对方面化构件动态演化的支持能力。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 周道林;;论过程感知信息系统中过程的动态演化[J];信息系统工程;2012年09期
2 赵伦;肖镞;;计算机软件动态演化技术概述[J];计算机光盘软件与应用;2013年13期
3 邓磊;吴健;胡正国;;一种嵌入式系统的动态演化方法[J];计算机应用;2007年11期
4 王爱萍;闾国年;黄家柱;郑新奇;林冰仙;;面向动态演化的城镇地价评估系统[J];计算机工程;2008年14期
5 李玉龙;李长云;;软件动态演化技术[J];计算机技术与发展;2008年09期
6 陈春华;马勤;陈雅莉;;基于动态演化的水文数据转贮技术研究与应用[J];水文;2011年S1期
7 贾向阳;应时;张韬;余晓峰;;一个支持业务过程动态演化的可反射框架[J];计算机工程;2006年10期
8 陈洪龙;李仁发;;面向服务对象的动态演化机制[J];计算机应用;2010年07期
9 赖格英,于革;古气候动力模拟动态演化的可视化研究与实现[J];计算机应用;2004年06期
10 沈思;郑昌兴;;基于动态演化模式的词表组织设计与实现[J];计算机光盘软件与应用;2013年24期
11 宋巍;马晓星;胡昊;吕建;;过程感知信息系统中过程的动态演化[J];软件学报;2011年03期
12 李长云;李莹;吴健;吴朝晖;;一个面向服务的支持动态演化的软件模型[J];计算机学报;2006年07期
13 王映辉,刘瑜,王立福;基于不动点转移的SA动态演化模型[J];计算机学报;2004年11期
14 张仕;黄林鹏;;基于OSGi的服务动态演化[J];软件学报;2008年05期
15 姚振兴;张志祥;贲可荣;陈志伟;;基于JBoss AOP的软件动态演化[J];计算机与数字工程;2008年10期
16 符丁;;基于C#和多Agent的软件动态演化的研究[J];科技信息;2009年22期
17 黄波;应时;张韬;贾向阳;;一种基于反射的BPEL业务过程动态演化方法[J];计算机应用研究;2007年05期
18 陈洪龙;李仁发;;基于Bigraph理论的动态演化软件相关特性分析与验证方法[J];小型微型计算机系统;2010年12期
19 谢仲文;李彤;代飞;钱晔;罗溦;王娟;;面向软件动态演化的需求建模及其模型规范化[J];计算机科学与探索;2012年06期
20 杨曦;李彤;;一种支持动态演化的AOP框架[J];计算机工程;2012年19期
中国重要会议论文全文数据库 前5条
1 赵会群;孙晶;魏莹;王文文;;服务体系结构的动态演化方法研究[A];CCF NCSC 2011——第二届中国计算机学会服务计算学术会议论文集[C];2011年
2 王弟海;龚六堂;;持续性不平等的原因及其动态演化综述[A];经济学(季刊)第7卷第2期[C];2008年
3 张涵信;沈孟育;;基于动态演化的最优化方法[A];近代空气动力学研讨会论文集[C];2005年
4 郑江淮;张晓云;;从国际代工到国际研发:价值链攀升的动态演化[A];社会主义经济理论研究集萃——从经济大国走向经济强国的战略思维(2011)[C];2011年
5 高莹莹;何枫;沈孟育;;非定常动态演化伴随方法在翼型气动设计中的应用[A];北京力学会第19届学术年会论文集[C];2013年
中国博士学位论文全文数据库 前6条
1 李风环;主题事件挖掘及动态演化分析研究[D];哈尔滨工业大学;2016年
2 苗又山;大规模动态演化图的存储与分析系统研究[D];中国科学技术大学;2015年
3 姚毅;中国城乡贫困动态演化的理论与实证研究[D];西南财经大学;2010年
4 陈洪龙;面向对象—构件的软件动态演化技术研究[D];湖南大学;2011年
5 谢仲文;一种需求驱动、以体系结构为视图的面向软件动态演化的模型与方法[D];云南大学;2012年
6 赵旭剑;中文新闻话题动态演化及其关键技术研究[D];中国科学技术大学;2012年
中国硕士学位论文全文数据库 前10条
1 王华;软件动态演化良性化建模与评估方法研究[D];湖南工业大学;2015年
2 魏秋彦;环境变化对软件动态演化的作用机理研究[D];湖南工业大学;2015年
3 蒋旭东;面向动态演化的软件行为相关性问题分析研究[D];云南大学;2016年
4 殷桃桃;微博话题网络特性及其动态演化研究[D];杭州电子科技大学;2016年
5 董丹;郫县豆瓣发酵过程细菌多样性及动态演化研究[D];西华大学;2016年
6 江晶;基于竞争优势动态演化的高新技术企业可持续发展研究[D];武汉理工大学;2007年
7 杨轶波;我国大学衍生企业的动态演化分析[D];上海交通大学;2010年
8 张丹;基于SCA的动态演化模型SO-DSAM的研究与应用[D];西北大学;2011年
9 曾惠芳;基于高阶挖掘的动态演化规律研究[D];暨南大学;2011年
10 苏卫华;复杂网络社区发现及其动态演化研究[D];太原理工大学;2010年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978