题名 一种面向动态软件体系结构的在线演化方法
被引量：31
1
作者
余萍 马晓星 吕建 陶先平
机构
计算机软件新技术国家重点实验室(南京大学)
出处
《软件学报》
EI
CSCD
北大核心
2006年第6期1360-1371,共12页
基金
国家自然科学基金 国家高技术研究发展计划(863) 国家重点基础研究发展规划(973)~~
文摘
为适应计算环境和用户需求在系统运行期间的变化,满足软件系统进行动态演化的需求,提出面向动态软件体系结构的在线演化方法,设计并实现了一种运行时刻的软件体系结构元模型,将原先运行时刻不可见的体系结构设计信息具体化为显式的体系结构实体,并与系统实现及系统规约之间保持因果关联.元模型的演化可通过反射实现对运行系统的修改和对规约的更新,所有演化行为都在良定义的体系结构元模型的指导下规范地进行,保证了演化前后系统的一致性、完整性和演化的可追溯性.基于该方法开发了可视化支撑平台Artemis-ARC系统,支持构件和服务的设计、开发、集成及动态演化,并通过简单的应用实例展示了在线演化的效果.
关键词
动态软件体系结构 在线演化 反射 一致性 完整性 追溯性
Keywords
dynamic software architecture online evolution reflection consistency integrity traceability
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
题名 一个面向服务的支持动态演化的软件模型
被引量：20
2
作者
李长云 李莹 吴健 吴朝晖
机构
浙江大学计算机科学与技术学院
出处
《计算机学报》
EI
CSCD
北大核心
2006年第7期1020-1028,共9页
基金
本课题得到国家"九七三"重点基础研究发展规划项目基金(2003CB316906) 浙江省重大基础软件产品开发专项基金(2004C11053)资助.
文摘
为了使面向服务的架构更适应动态演化的需求,提出了基于体系结构空间、支持动态演化的软件模型SASM．SASM是使用反射技术,通过具有因果相联的基层和元层来构造．基层由可运行的服务形成,元层是一个具备树形层次、层间存在求精关系的体系结构空间．该空间反映了需求的层次性,提供给用户不同抽象级别的视图和管理手段．通过对体系结构空间的观察,可获知系统的结构和行为信息．通过对体系结构空间的在线调整可实现对基层的修改进而实现系统的非预设动态演化,而空间中不同层次之间的求精关系保证了应用的完整性和演化的一致性．
关键词
动态演化 软件体系结构 求精 反射 服务
Keywords
dynamic evolution software architecture refinement reflection service
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
题名 一种支持软件可信演化的构件模型
被引量：25
3
作者
丁博 王怀民 史殿习 李骁
机构
国防科学技术大学计算机学院 并行与分布处理国防科技重点实验室
出处
《软件学报》
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
[自动化与计算机技术—计算机软件与理论]
题名 基于图文法的动态软件体系结构支撑环境
被引量：13
4
作者
马晓星 曹春 余萍 周宇
机构
南京大学计算机软件新技术国家重点实验室
出处
《软件学报》
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
[自动化与计算机技术—计算机软件与理论]
题名 XYZ系统的目的、意义、作用与应用
被引量：7
5
作者
唐稚松
机构
中国科学院软件研究所
出处
《软件学报》
EI
CSCD
北大核心
1999年第4期337-341,共5页
文摘
ＸＹＺ系统是一个基于线性时序逻辑的软件工程系统，由中国科学院软件研究所经过１５年的时间设计并实现．它被用于解决某些高技术工程领域的问题．文章介绍了这个系统的目的、意义、作用和应用．
关键词
XYZ系统 时序逻辑语言 状态转换 软件工程
Keywords
Temporal logic language, state transition, dynamic semantics, static semantics, specification language, Von Neumann model, stepwise refinement, component, software architecture , consistency checking.
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
题名 基于通用连接器模型的复合构件的组装
被引量：4
6
作者
许毅 彭鑫 赵文耘
机构
复旦大学计算机科学与工程系
出处
《计算机工程》
EI
CAS
CSCD
北大核心
2006年第23期55-57,共3页
基金
国家"863"计划基金资助项目(2004AA112070 2004AA113030 +1 种基金 2005AA113120) 国家自然科学基金资助项目(60473061)
文摘
基于构件的软件体系结构(SA)由构件与连接器组成,连接器作为构件间的交互实体在SA中扮演着重要角色。现有的连接器模型只能支持特定软件体系结构风格的组装,该文针对构件组装的核心问题:构件间交互的不匹配,采用复合构件组装的方法,提出一种通用连接器模型用以对不同连接器模型进行描述。给出4种复合构件组装机制及各种机制的组装方式,并对复合构件进行扩展,使其具有动态性,能较方便地实现动态体系结构。
关键词
软件体系结构 连接器 复合构件 动态体系结构
Keywords
software architecture （SA） Connector Complex component dynamic software architecture
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
题名 基于构件的网构软件系统动态演化
被引量：8
7
作者
朱庆 王小平 薛小平 司文婷
机构
同济大学电子与信息工程学院
出处
《计算机工程》
CAS
CSCD
北大核心
2010年第1期55-57,60,共4页
文摘
为适应网构软件系统在线演化的需求,提出一种基于构件的网构软件系统动态演化模型。该模型以构件为基本单位,基于软件体系结构部署和实施演化,给出构件添加、删除和替换需求的演化算法,通过引入一致性检查机制保证演化的安全和可靠。该模型实施简单、具有普遍适用性,软件系统无须进行大量的改动即可适应该演化模型。
关键词
动态演化 网构软件 构件 软件体系结构 一致性
Keywords
dynamic evolution internetware component software architecture consistence
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
题名 动态自适应软件体系结构重配置研究
被引量：6
8
作者
陈向东
机构
复旦大学计算机科学技术学院 马鞍山师范高等专科学校软件学院
出处
《计算机科学》
CSCD
北大核心
2015年第6期185-188,215,共5页
基金
2014年高等学校省级质量工程项目:软件技术专业综合改革试点(2014zy085) 2015年度安徽省高等学校自然科学研究项目:动态自适应软件体系结构重配置算法及在云计算中的应用研究资助
文摘
在当前的自适应软件研究中,人们将更多的关注点放在环境感知、服务质量建模、编程语言等方面,从而导致缺乏对自适应过程和原理的深入揭示的问题。关注体系结构,研究动态自适应过程,提出了一种软件体系结构重配置方法。该方法通过对构件、连接子的添加、删除和替换等操作来调整体系结构。基于云计算的服务器池大小动态自适应调整实验表明,动态自适应能提高系统的可信度,降低运行费用。
关键词
自适应 动态 重配置 软件体系结构 构件 连接子
Keywords
Self-adaption dynamic Reconfiguration software architecture Component Connector
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
题名 动态可重构虚拟仪器技术
被引量：6
9
作者
赖红 何岭松
机构
中兴通讯股份有限公司 华中科技大学
出处
《仪表技术与传感器》
CSCD
北大核心
2012年第2期25-27,共3页
基金
国家高技术研究发展计划资助项目(2008AA04Z133)
文摘
针对传统仪器中硬件决定仪器功能带来的测量仪器功能单一、灵活性差的问题,在以数据为中心的测量标准模型和现场可编程虚拟仪器内核模型的基础上提出了动态可重构虚拟仪器的总体结构模型,采用基于构件的虚拟仪器内核的系统装配模型,实现了虚拟仪器系统的动态重构。
关键词
虚拟仪器 动态可重构 下一代测试仪器 XML 软件体系结构
Keywords
virtual instrument dynamic reconfigurationnext Generation measurement instrument XML software architecture
分类号
TH165.3
[机械工程—机械制造及自动化]
题名 一个基于构件的动态电力企业项目管理系统
被引量：6
10
作者
王芳 严冬 景栋盛
机构
苏州供电公司信通分公司
出处
《软件》
2015年第8期144-149,共6页
文摘
电力企业在当今社会中起着重要的作用。在电力企业承担着各种项目。有效的项目管理是保证项目成功的重要基础。由于电力企业项目具有复杂性、多变性和持续运行性的特点,一般的项目管理系统很难胜任。介绍了一个基于构件的动态电力企业项目管理系统。系统充分利用基于构件的动态体系结构的优点的基础上,使用构件化的开发方式,完成了项目管理、用户管理、任务管理和数据统计等功能构件,实现了项目的添加、删除、更新和查看,用户的添加、删除和修改,任务的发布、修改、删除和查看,以及数据统计等主要功能。经过使用,系统能够有效地管理电力企业的各类项目,与现有运行的各种项目管理系统保持兼容。
关键词
动态体系结构 电力企业信息系统 项目管理 构件
Keywords
dynamic software architecture Electric power enterprise information system Project management Component
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
题名 面向方面的动态软件架构研究
被引量：3
11
作者
方义秋 王桂丹 葛君伟
机构
重庆邮电大学计算机科学与技术学院 重庆邮电大学软件学院
出处
《微电子学与计算机》
CSCD
北大核心
2011年第3期23-26,共4页
基金
重庆市教委科学技术研究项目(KJ090519)
文摘
基于面向方面编程(AOP)技术,提出了一种层次化的AODSA模型.通过将横切关注点和系统需要更新的组件定义为方面组件,利用AOP的动态编织技术将其织入源系统,实现了系统的动态演化.该模型的有效性和可操作性可以通过一个可动态演化的网络投票系统得以验证.
关键词
软件架构 动态软件架构 AOP 动态演化
Keywords
software architecture dynamic software architecture AOP dynamic evolution
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
题名 ABC方法中体系结构风格建模的研究
被引量：1
12
作者
谭佳 孙艳春 梅宏
机构
北京大学信息科学技术学院软件研究所
出处
《电子学报》
EI
CAS
CSCD
北大核心
2006年第5期969-976,共8页
基金
国家973重点基础研究发展规划(No.2002CB312003) 国家自然科学基金(No.60125206 +2 种基金 60233010 60303004 60503028)
文摘
体系结构风格是体系结构设计的重要指导,它为设计人员的交流建立了公共的术语空间,促进了设计复用与代码复用.本文试图为体系结构风格定义提供一个通用的形式化框架,支持建模风格的结构约束、拓扑约束和交互行为约束,并且将风格所蕴含的体系结构变化性特征显式化;通过将该框架引入ABC方法,给出了一种基于风格的体系结构建模方法,并提供了图形化的建模工具.
关键词
软件体系结构 ABC方法 体系结构风格 形式化规约 动态体系结构
Keywords
software architecture ABC（architecture -based Component Composition） architecture styleformalspecification dynamic software architecture
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
题名 基于π演算的动态软件架构研究
被引量：3
13
作者
任洪敏 张敬周 杨志应
机构
上海海事大学计算机系 复旦大学计算机科学系软件工程实验室
出处
《计算机科学》
CSCD
北大核心
2009年第9期127-130,共4页
基金
上海市教委创新基金项目(09YZ224) 上海市教委科学基金项目(2008096)联合资助
文摘
动态软件架构(Dynamic Software Architecture)是架构领域的研究热点。分析了动态软件架构建模应关注的问题,基于π演算提出了动态软件架构形式化建模的方法,给出了动态软件架构语义的推导算法,奠定了动态架构行为分析和仿真的基础,并能对动态架构的诸多要素进行建模,包括动态演化的起因、时间、操作、非瞬时特性、断点继续执行等。
关键词
软件架构 动态软件架构 架构描述语言 Π演算
Keywords
software architecture , dynamic software architecture , architecture description language, π-calculus
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
题名 自适应演化软件研究进展
被引量：5
14
作者
陈洪龙 李仁发
机构
湖南大学计算机与通信学院
出处
《计算机应用研究》
CSCD
北大核心
2010年第10期3612-3616,3621,共6页
基金
国家自然科学基金资助项目(60673061) 湖南省重点科技计划资助项目(2007GK2015)
文摘
自适应演化软件通过演化技术,为软件添加动态、柔性以及灵活可变的特征,使软件系统能更好地适应动态、开放以及难控的网络环境,并在普适计算、嵌入计算等领域表现出良好的应用前景,成为当前软件技术研究中备受关注的热点之一。为更好地研究自适应演化软件,需对现有研究成果进行总结和归纳。首先总结自适应演化的基本特征,指出其面临的挑战;在此基础上,从语言、体系结构和框架应用层面描述其研究成果,并对其进行分类与比较,进而给出相关概念结构;最后总结了其不足以及进一步的研究问题。
关键词
自适应演化 动态体系结构 组件分派 服务组合 反射 面向方面
Keywords
self-adaptive evolution dynamic software architecture component assignment service composition reflection AOP
分类号
TP393
[自动化与计算机技术—计算机应用技术]
题名 基于非功能性特征的软件动态自演化框架
被引量：3
15
作者
王雷 彭鑫 赵文耘
机构
复旦大学计算机科学与工程系
出处
《计算机工程》
CAS
CSCD
北大核心
2008年第24期74-76,共3页
基金
国家自然科学基金资助项目(60473061 60473062) 国家"863"计划基金资助项目(2005AA113120)
文摘
针对软件系统的动态自适应演化要求,提出一个基于非功能性特征的软件动态自演化框架。该框架将非功能性特征与不同目标的方面实现相关联,刻画它们之间的正负影响及权衡关系,并通过对方面实现的动态编织实现动态自演化。实验结果表明,该框架是有效可行的。
关键词
动态软件体系结构 动态演化 特征模型 非功能性需求
Keywords
dynamic software architecture dynamic evolution feature model non-functional requirement
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
题名 基于IP地址的供电公司信息管理系统
被引量：3
16
作者
杨钰
机构
苏州供电公司信通分公司
出处
《软件》
2017年第11期175-180,共6页
文摘
目前电力公司内部运行着各种信息系统越来越凸显重要性。高效的管理这些信息系统是确保电力系统正常运行的重要基础,因此,急需开发一个信息管理系统。但是,由于电力系统中各信息系统复杂,具有动态变化性,且需长时间不间断运行,传统的基于静态软件体系结构的开发方式不适合电力系统的信息管理系统开发。介绍了一个基于IP地址的供电公司信息管理系统。利用基于构件的动态软件体系结构,设计开发了相关的主要构件,包括IP地址管控构件,实现IP子网的自动侦测、IP地址可视化管理、IP地址绑定、IP地址的全生命周期记录等功能;网络终端管理构件,实现网络终端的全生命周期管理、网络终端的探测识别等功能;交换机的管理构件,实现交换机的自动侦测、交换机的全生命周期台帐维护、交换机常用命令的图形化用户界面等功能;网络拓扑关系管理构件;安全预警构件以及用户管理构件等。阶段运行结果表明,系统能够有效地完成公司的信息管理任务。
关键词
信息管理系统 IP地址 分布式系统 动态软件体系结构 组件
Keywords
Information management system IP address Distributed system dynamic software architecture Component
分类号
TP391
[自动化与计算机技术—计算机应用技术]
题名 基于Petri网的软件动态演化的一致性分析
被引量：3
17
作者
谢仲文 明利 林英 秦江龙 莫启 李彤
机构
云南大学软件学院 云南省软件工程重点实验室
出处
《计算机科学》
CSCD
北大核心
2016年第11期234-241,共8页
基金
国家自然科学基金项目(61379032 61262024 +3 种基金 60122025) 云南省软件工程重点实验室开放基金面上项目(2012SE308 2012SE309) 云南省教育厅科学研究基金(2014Y012)资助
文摘
在分析软件动态演化面临的挑战的基础上,以扩展的Petri网为主形式化工具,基于面向动态演化的SA元模型DEAM,对如何保证动态演化的一致性问题进行分析。首先,讨论了一致性分析的总体思路和策略,确定以构件作为动态演化实施和分析的基本对象;其次,从构件结构演化的视角对构件的子网类型进行分析,提出了保证结构一致性的方法;再次,从构件行为演化的视角,分别从内部和外部观察构件演化前后的行为,并通过建立模拟关系来分析和判断演化前后构件的行为是否一致;最后,通过案例研究对所提方法的可行性进行验证。
关键词
软件动态演化 软件体系结构 行为模拟 一致性保持
Keywords
software dynamic evolution software architecture Behavior simulation Consistency preservation
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
题名 开放式系统结构中设备动态管理软件架构的研究与实现
被引量：3
18
作者
袁苑 李俊坤
机构
中国西南电子技术研究所
出处
《电讯技术》
2008年第3期57-60,共4页
文摘
针对开放式系统结构中设备动态管理的需求进行了分析,以面向对象的通信中间件CORBA为基础,设计了一种满足实时要求和即插即用功能的设备管理软件体系架构,给出了软件架构的功能划分、系统结构和关键技术的实现途径。该软件架构降低了系统的集成难度和系统集成风险,提高了系统的可靠性和灵活性。
关键词
航空电子系统 开放式系统结构 设备动态管理 通信中间件 软件架构
Keywords
avionics system open system architecture device dynamic management communication middleware software architecture
分类号
TP237
[自动化与计算机技术—检测技术与自动化装置]
题名 新型遥测网系统RF链路管理技术
被引量：3
19
作者
王星来 蓝鲲 夏国江 韩明
机构
国防科学技术大学航天科学与工程学院 北京宇航系统工程研究所
出处
《飞行器测控学报》
CSCD
2016年第6期429-435,共7页
文摘
传统的遥测体制已经不能满足日益增长的飞行试验需求,新型TmNS(Telemetry Network System,遥测网系统)需要RF(Radio Frequency,射频)网络管理来协调资源分配,以满足性能要求。首先介绍了TmNS的总体架构,其RF链路除传统下行遥测链路外,新增了一条双向数据链路,实现多个试验对象和多个地面站的组网。随后讨论了该网络系统RF链路管理的原理和流程。由于链路管理器根据网络容量来分配TxOp(Transmission Opportunity,传输机会),故重点研究和比较了2种动态容量分配算法——B-LM算法和E-LM算法,ELM算法较B-LM算法略复杂,但可以减小系统延时,二者可以在链路管理器中共存,依据网络情况进行配置或切换。最后简要分析了链路管理器的软件结构。RF网络管理是TmNS的一项关键技术,该研究将促进我国新一代遥测网的发展。
关键词
遥测网系统(TmNS) 射频(RF)链路管理 链路管理器(LM) 动态容量分配 软件架构
Keywords
Telemetry Network System （TmNS） Radio Frequency （R F ） link management link manager （LM） dynamic capacity allocation software architecture
分类号
V566.1
[航空宇航科学技术]
TN915.07
[电子电信—通信与信息系统]
题名 软件体系结构动态演化的元胞自动机模型研究
被引量：2
20
作者
刘晓斌 杨贯中 欧阳柳波 李勇军
机构
湖南大学信息科学与工程学院
出处
《计算机工程与应用》
CSCD
北大核心
2015年第9期87-92,97,共7页
基金
国家核高基重大专项2012年应用类课题(No.2012ZX01045-004-005-002) 国家科技支撑计划项目(No.2012BAF12B20) 国家自然科学基金(No.60901080)
文摘
目前软件体系结构动态演化的元胞自动机模型存在描述单一、元胞间关系不明确、没有详细阐述动态演化过程应用约束条件的缺点。针对这些不足进行相关的研究,重新定义了软件体系结构动态演化的扩展元胞自动机模型,基于扩展元胞自动机模型结合演化应用约束条件,分析了软件体系结构的动态演化过程,运用元胞间控制约束条件和行为相关约束条件来正确地指导SA动态演化。提出了动点稳态转移的概念,对演化程度和一致性进行定义分析,此方法比以往的元胞自动机模型更能准确指导SA动态演化,促进SA动态演化的进一步研究。通过案例验证了该方法的应用价值和可行性,可以更全面地应用于软件体系结构的动态演化。
关键词
动态演化 扩展元胞自动机模型 动点稳态转移 应用约束条件 软件体系结构
Keywords
dynamic evolutionextended cellular automata model steady-state transfer of moving-point application of constraint software architecture
分类号
P315.7
[天文地球—地震学]
