题名 一种面向动态软件体系结构的在线演化方法
被引量：31
1
作者
余萍 马晓星 吕建 陶先平
机构
计算机软件新技术国家重点实验室(南京大学)
出处
《软件学报》
EI
CSCD
北大核心
2006年第6期1360-1371,共12页
基金
国家自然科学基金 国家高技术研究发展计划(863) 国家重点基础研究发展规划(973)~~
文摘
为适应计算环境和用户需求在系统运行期间的变化,满足软件系统进行动态演化的需求,提出面向动态软件体系结构的在线演化方法,设计并实现了一种运行时刻的软件体系结构元模型,将原先运行时刻不可见的体系结构设计信息具体化为显式的体系结构实体,并与系统实现及系统规约之间保持因果关联.元模型的演化可通过反射实现对运行系统的修改和对规约的更新,所有演化行为都在良定义的体系结构元模型的指导下规范地进行,保证了演化前后系统的一致性、完整性和演化的可追溯性.基于该方法开发了可视化支撑平台Artemis-ARC系统,支持构件和服务的设计、开发、集成及动态演化,并通过简单的应用实例展示了在线演化的效果.
关键词
动态软件体系结构 在线演化 反射 一致性 完整性 追溯性
Keywords
dynamic software architecture online evolution reflection consistency integrity traceability
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
题名 基于图文法的动态软件体系结构支撑环境
被引量：13
2
作者
马晓星 曹春 余萍 周宇
机构
南京大学计算机软件新技术国家重点实验室
出处
《软件学报》
EI
CSCD
北大核心
2008年第8期1881-1892,共12页
基金
国家自然科学基金No．60736015 国家高技术研究发展计划(863)Nos．2006AA01Z159，2007AA01Z178 +1 种基金 国家基金委创新研究群体项目No．60721002 新世纪优秀人才支持计划No．NCET-07-0419~~
文摘
使用类型化的属性图及其图文法来直观而形式地刻画软件体系结构和体系结构风格,用图转换来刻画动态体系结构的重配置行为.基于这种刻画,构建了一个动态软件体系结构支撑环境.该环境一方面,通过一个基于图文法的编辑器来支持体系结构图模型的可视化构造和操纵;另一方面,基于内置运行时体系结构技术实现了体系结构图模型在具体系统中的物理实施,并使得图模型上的图转换操作可以自动映射到实际系统的动态重配置上.再加上一系列的辅助设施,形成了一个较为完整的基于图文法的动态软件体系结构支撑环境.
关键词
动态软件体系结构 可视化 图文法 开发环境
Keywords
dynamic software architecture visualization graph grammar development environment
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
题名 动态软件体系结构研究综述
被引量：4
3
作者
李琼 姜瑛
机构
昆明理工大学信息工程与自动化学院
出处
《计算机应用研究》
CSCD
北大核心
2009年第6期2352-2355,共4页
基金
国家自然科学基金资助项目(60703116) 云南省应用基础研究计划资助项目(2006F0024Q)
文摘
近年来,随着Internet的迅猛发展和应用形式的不断更新,传统的软件体系结构(SA)已无法完全适应需求,动态软件体系结构(dynamic software architecture,DSA)逐渐成为SA研究人员关注的焦点之一。描述了DSA的研究背景及研究意义;总结了DSA的研究内容及国内外的研究现状;最后探讨了DSA研究的主要发展方向。
关键词
软件体系结构 动态软件体系结构 动态 演化描述语言 执行工具
Keywords
（ software architecture） SA DSA dynamic evolution description language implementation tool
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
题名 基于组合连接器的动态软件体系结构规范方法
4
作者
熊惠民 应时 虞莉娟
机构
武汉大学软件工程国家重点实验室 武汉理工大学自动化学院
出处
《计算机科学》
CSCD
北大核心
2007年第8期250-253,265,共5页
基金
国家自然科学基金项目(60473066) 湖北省青年杰出人才基金项目(2003ABB004)
文摘
动态体系结构的建模与分析是复杂软件体系结构设计的一个重要问题.本文用组合连接器扩展了体系结构描述语言Wright,并由此提出了一种规范动态体系结构的形式化方法。为了支持动态机制,还提出了动态角色的概念。通过实例说明,该方法能将动态体系结构的两种基本形态的描述统一起来,并能为动态软件体系结构设计提供一种增量式的开发方法。由于该方法基于组合的机制,从而适用于体系结构重用。
关键词
组合连接器 动态软件体系结构 动态 角色重用 体系 结构 描述语言WRIGHT
Keywords
Composite connector, Dynamic software architecture, Dynamic role, Reuse. Architecture description language （ADL）, Wright
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
题名 适用于动态软件体系结构的扩展的Z描述语言
5
作者
周绪川
机构
西南民族大学计算机科学与技术学院
出处
《计算机应用研究》
CSCD
北大核心
2012年第9期3338-3340,共3页
基金
西南民族大学中央高校基本科研业务费专项资金资助项目(11NZYBS09)
文摘
动态软件体系结构语言已成为描述复杂软件体系结构的重要工具,然而许多描述语言都是静态的,并不能对动态软件体系进行描述。为此,对经典Z描述语言进行扩展,主要通过对构件、连接件和它们的添加以及删除来达到动态演化的目的。实例分析表明了这种扩展的可行性。
关键词
软件 工程动态 演化动态软件体系结构 Z语言描述
Keywords
software engineering dynamic evolution dynamic software architecture（DSA） Z description language
分类号
TP301
[自动化与计算机技术—计算机系统结构]
题名 软件体系结构动态演化的Z描述语言扩展方法
被引量：1
6
作者
段玉春 朱小艳
机构
河南大学计算中心 河南大学软件学院
出处
《兰州理工大学学报》
CAS
北大核心
2013年第1期88-91,共4页
基金
河南省科技攻关计划项目(082102240038)
文摘
针对目前软件体系结构动态演化描述方法的不足且许多描述语言都是静态的,并不能对动态软件体系进行描述的问题,对经典Z描述语言进行扩展.该扩展的Z描述语言主要通过构件、连接件的添加及删除来达到动态演化的目的.具体给出Z语言扩展后的描述规则、构件的描述、连接件的描述和配置的描述,并用一个实例表明这个扩展的可行性.
关键词
动态软件体系结构 Z描述语言 动态 演化
Keywords
dynamic software architecture Z descriptive language dynamic evolution
分类号
TP301
[自动化与计算机技术—计算机系统结构]
题名 软件体系结构动态模型描述及其测试中的应用
7
作者
顾燕萍 高建华
机构
上海师范大学数理信息学院计算机科学与工程系
出处
《计算机工程与设计》
CSCD
北大核心
2007年第4期982-984,共3页
文摘
软件体系结构的动态性描述在基于软件体系结构的一致性测试中是非常关键的一步。为了较为方便恰当地描述软件体系结构的动态性,通过对软件体系结构描述语言研究,利用带标号的转换系统来模拟软件体系结构的动态性,把带标号的转换系统作为软件体系结构动态性模型并从中选取测试序列进行测试,并通过具体实例给出了带标号转换系统这一动态模型的导出过程及利用此动态模型进行一致性测试的方法。
关键词
一致性测试 带标号转换系统 有限状态过程 软件体系结构 动态 性描述测试序列
Keywords
conformance testing LTS FSP SA dynamics description test sequences
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
题名 基于非功能性特征的软件动态自演化框架
被引量：3
8
作者
王雷 彭鑫 赵文耘
机构
复旦大学计算机科学与工程系
出处
《计算机工程》
CAS
CSCD
北大核心
2008年第24期74-76,共3页
基金
国家自然科学基金资助项目(60473061 60473062) 国家"863"计划基金资助项目(2005AA113120)
文摘
针对软件系统的动态自适应演化要求,提出一个基于非功能性特征的软件动态自演化框架。该框架将非功能性特征与不同目标的方面实现相关联,刻画它们之间的正负影响及权衡关系,并通过对方面实现的动态编织实现动态自演化。实验结果表明,该框架是有效可行的。
关键词
动态软件体系结构 动态 演化特征模型 非功能性需求
Keywords
dynamic software architecture dynamic evolution feature model non-functional requirement
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
题名 软件运行时可变性动态演化机制研究
被引量：3
9
作者
刘吉伟 毛新军
机构
国防科学技术大学计算机学院
出处
《计算机学报》
EI
CSCD
北大核心
2016年第11期2216-2235,共20页
基金
国家自然科学基金(61379051 61532004) 教育部新世纪优秀人才支持计划(NCET-10-0898)资助~~
文摘
持续变化的需求对开放环境下软件系统的灵活性和可伸缩性提出了较高的要求.在许多情况下,这需要系统中能够发生变化的位置、变化的程度等可以被动态调整,即要求软件的运行时可变性是可以动态演化的.然而在多数系统(例如自适应系统)中,软件运行时可变性受限于开发者在设计阶段基于当时需求和环境要求做出的决策和假设,使得软件可变性模型本身是难以动态改变的,进而导致了系统在运行时难以适应持续变化的需求和环境.软件运行时可变性动态演化是解决问题的关键.但目前只有少数研究工作关注该方面,而且它们往往停留在模型建立和验证阶段,缺乏如何实现动态演化的研究.为解决此问题,提出了元变机制以支持对可变性要素数量、属性、关系的改变.元变机制利用体系结构动态调整技术在体系结构和构件两个层次上实现可变性演化的基本操作,即可变性要素的增加、替换和删除;又利用可变性对象实现了对这些操作的封装和信息隐藏,使人们在关注高层的可变性模型变化时无须考虑可变性要素的异构性等细节.该文给出了元变机制的基础设施并基于.Net Framework阐述了其生成方法,并提供了相应工具以观察或触发运行时可变性模型的变化,最后以个人云资源分享为背景,解决了资源清理案例中的运行时可变性的动态演化问题,展示了元变机制的可行性和有效性;并对元变机制的基本操作进行了性能测试,展示了其高效性.
关键词
运行时可变性动态 演化 演化机制 运行时可变性 可变性对象 软件体系结构 动态 调整可变性要素中图法分类号TP311
Keywords
dynamic evolution of runtime variability evolution mechanism runtime variability variability object dynamic regulation of software architecture variability element
分类号
TP316
[自动化与计算机技术—计算机软件与理论]
题名 一种支持软件可信演化的构件模型
被引量：25
10
作者
丁博 王怀民 史殿习 李骁
机构
国防科学技术大学计算机学院 并行与分布处理国防科技重点实验室
出处
《软件学报》
EI
CSCD
北大核心
2011年第1期17-27,共11页
基金
国家自然科学基金(90818028) 国家重点基础研究发展计划(973)(2011CB302600) 国家杰出青年科学基金(60625203)
文摘
对环境的适应是软件保证其可信的重要手段.当应用场景超出开发阶段的预设时,软件的环境适应能力需要能够在线调整,以保证其行为和结果仍可符合用户预期.这一调整的前提是软件工程层面的高效支持机制.基于关注点分离原则和动态软件体系结构技术,提出了一种支持软件环境适应能力细粒度在线调整的构件模型ACOE(adaptive component model for open environment).ACOE将软件环境适应能力中的感知、决策、执行等关注点封装为独立的构件和连接子,通过动态软件体系结构技术来支持它们的在线重配置,从而使第三方可在必要时通过有选择性的更新来调整适应能力.实现了支持ACOE构件模型的容器原型,并通过实验验证了其有效性.
关键词
可信软件 演化 适应性软件 构件模型 动态软件体系结构
Keywords
trustworthy software evolution adaptive software component model dynamic software architecture
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
题名 基于反射和连接件的SA动态演化研究
11
作者
黄万艮 陈松乔
机构
湖南大学会计学院信息管理系 中南大学信息科学与工程学院
出处
《计算机工程与应用》
CSCD
北大核心
2008年第28期37-39,121,共4页
基金
国家自然科学基金No.10571051~~
文摘
使用反射机制感知软件系统的结构与运行状态,提出了一种基于知识规则、直接对连接件进行操作的SA动态演化方法,消除了SA动态演化的不一致性,提高了效率.该方法使用代数表达式简化了演化日志,提高了演化可跟踪性。
关键词
反射 连接件 软件体系结构 动态 演化
Keywords
reflection connector dynamic evolution of software architecture
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
