-
题名面向软件动态演化的需求建模及其模型规范化
被引量：6
- 1
-
-
作者
谢仲文
李彤
代飞
钱晔
罗溦
王娟
-
机构
云南大学软件学院
云南省软件工程重点实验室
云南大学信息学院
-
出处
《计算机科学与探索》
CSCD
2012年第6期557-576,共20页
-
基金
国家自然科学基金No.60963007
云南省软件工程重点实验室开放基金Nos.2010KS01
+2 种基金
2011SE04
2011SE05
云南大学研究生科研课题资助项目No.ynuy201131~~
-
文摘
针对目前需求工程阶段对软件动态演化考虑不足的现状,在分析软件动态演化面临的挑战的基础上,设计了面向动态演化的需求元模型(dynamic-evolution-orientedrequi rements meta-model,DERM)。该元模型以特征为基本部件,按特征组合的方式建立需求模型,需求模型由行为特征和属性特征组成。行为特征被区分为计算行为特征和交互行为特征,以实现计算和交互的相对隔离;属性特征通过其作用域,指定其在行为特征模型中的作用范围,从而将行为特征模型和属性特征模型统一为需求模型。在此基础上,讨论了需求模型的参照完整性、依赖一致性和互斥一致性,并进一步把需求模型规范化为需求模型第一范式到第三范式,需求模型规范化的过程提供了一种保证需求模型一致性的方法。最后通过案例研究,表明了该方法的可行性及其对软件动态演化的有效支持。
-
关键词
需求工程
软件动态演化
特征
通信进程代数
规范化
-
Keywords
requirements engineering
software dynamic evolution
feature
algebra of communicating processes （ACP）
normalization
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于Petri网的软件动态演化的一致性分析
被引量：3
- 2
-
-
作者
谢仲文
明利
林英
秦江龙
莫启
李彤
-
机构
云南大学软件学院
云南省软件工程重点实验室
-
出处
《计算机科学》
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
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于Petri网的面向动态演化的软件体系结构建模
被引量：7
- 3
-
-
作者
谢仲文
李彤
代飞
秦江龙
张璇
莫启
朱锐
-
机构
云南大学软件学院
云南省软件工程重点实验室
-
出处
《计算机应用与软件》
CSCD
北大核心
2012年第10期36-39,127,共5页
-
基金
国家自然科学基金项目(60963007)
云南省软件工程重点实验室开放基金项目(2010KS01
+1 种基金
2011SE04
2011SE05)
-
文摘
为了应对软件动态演化面临的挑战,应提高所建立的软件体系结构模型的动态演化性。以扩展的Petri网为形式化工具,对面向动态演化的软件体系结构进行建模。首先,将Petri网扩展成为构件网结构,并设计有效支持软件动态演化的构件模型和连接件模型;其次,建立软件体系结构的静态视图和动态视图,为软件动态演化的分析和实施奠定基础;最后,通过案例研究表明:该方法是有效的,并可显著提高所建立的软件体系结构模型的动态演化性。
-
关键词
软件动态演化
软件体系结构
PETRI网
构件
连接件
-
Keywords
Software dynamic evolution Software architecture Petri net Component Connector
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名面向动态演化的软件行为相关性分析研究
被引量：2
- 4
-
-
作者
蒋旭东
谢仲文
李彤
明利
吉才盈
-
机构
云南大学软件学院
云南省软件工程重点实验室
-
出处
《小型微型计算机系统》
CSCD
北大核心
2016年第9期1925-1929,共5页
-
基金
国家自然科学基金项目(61379032)资助
云南省软件工程重点实验室开放基金项目(2012SE309)资助
云南省教育厅科学研究基金理(工)科项目(2014Y012)资助
-
文摘
针对软件行为相关性提出一种基于HMM的分析方法,以软件行为属性:参数、上下文环境、动作、状态、接口和端口为可观测状态集,构建了行为相关性分析算法.首先,通过可观测序列训练出HMM数学模型,然后根据模型和可观测序列计算隐藏的软件系统行为状态序列,最后用软件部件状态向量表示软件行为状态,通过软件系统状态迁移而引起的部件状态向量的迁移分析出部件之间的相关性.在文章的最后通过仿真实验检验了该软件行为相关性分析方法的可行性和有效性.
-
关键词
行为相关性
软件动态演化
HMM
软件状态
-
Keywords
behavior relevance
software dynamic evolution
HMM
software state
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种支持动态演化的防火墙软件的设计与实现
- 5
-
-
作者
李开拓
胡羽
张家晨
-
机构
吉林大学计算机科学与技术学院
-
出处
《计算机应用》
CSCD
北大核心
2008年第B06期302-304,共3页
-
文摘
对于软件防火墙,如果具备了动态更新的能力,会使被保护的系统更安全,即使在更新时也能对被保护系统进行保护。为达到这一目的,在分析netfilter和OSGi框架的原理的基础上,提出采用这两种框架分别处理防火墙安全策略和功能模块更新的方案,实现了一种基于这两种框架的支持动态演化的防火墙系统。
-
关键词
软件动态演化
软件在线更新
OSGI
neffilter
-
Keywords
software dynamic evolution
software runtime update
OSGi
neffilter
-
分类号
TP311.53
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于反射和连接件的SA动态演化研究
- 6
-
-
作者
黄万艮
陈松乔
-
机构
湖南大学会计学院信息管理系
中南大学信息科学与工程学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2008年第28期37-39,121,共4页
-
基金
国家自然科学基金No.10571051~~
-
文摘
使用反射机制感知软件系统的结构与运行状态,提出了一种基于知识规则、直接对连接件进行操作的SA动态演化方法,消除了SA动态演化的不一致性,提高了效率.该方法使用代数表达式简化了演化日志,提高了演化可跟踪性。
-
关键词
反射
连接件
软件体系结构动态演化
-
Keywords
reflection
connector
dynamic evolution of software architecture
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名支持演化规则引擎的Rete算法研究
被引量：6
- 7
-
-
作者
武丹凤
曾广平
闫京颖
-
机构
北京科技大学计算机与通信工程学院
辽宁工程技术大学软件学院
北京科技大学数理学院
-
出处
《计算机应用研究》
CSCD
北大核心
2013年第6期1747-1750,共4页
-
基金
国家"863"计划资助项目(2009AA01Z119)
-
文摘
在演化规则模式匹配过程中,存在内存空间有限与用户请求响应要求快速等问题,传统的Rete算法并不能完全适合此类实际应用。针对此类问题,在经典Rete算法的基础上,通过从算法空间复杂度的角度对Rete网络结构匹配效率进行分析,并结合系统动态演化过程中强动态和高实时性的特点,引入节点复用技术构造Re-te网络,且以规则权重、入网时间为依据,增设了Rete网络节点存储空间可调整机制,完成了Rete算法在内存消耗与调节、匹配耗时方面的优化。对比测试表明,优化后的算法提高了网络匹配性能,实现了系统的平稳安全运行,解决了演化系统模式匹配过程中存在的问题。
-
关键词
RETE算法
规则引擎
模式匹配
软件动态演化
-
Keywords
Rete algorithm
rules engine
pattern matching
software dynamic evolution
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
