期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
软件体系结构动态演化的条件超图文法及分析
被引量：
16
1
作者
徐洪珍
曾国荪
陈波
《软件学报》
EI
CSCD
北大核心
2011年第6期1210-1223,共14页
针对目前.软件体系结构动态演化描述方法的不足,提出用约束超图表示软件体系结构,用左右应用条件刻画软件体系结构动态演化的前断言和后断言,用条件超图文法建模软件体系结构动态演化过程.通过案例分析,讨论了如何构建条件超图文法并应...
针对目前.软件体系结构动态演化描述方法的不足,提出用约束超图表示软件体系结构,用左右应用条件刻画软件体系结构动态演化的前断言和后断言,用条件超图文法建模软件体系结构动态演化过程.通过案例分析,讨论了如何构建条件超图文法并应用于软件体系结构动态演化.在此基础上,建立软件体系结构动态演化的一致性条件定义,给出动态演化的一致性判定方法.最后,设计实验进行分析,验证了方法的有效性.
展开更多
关键词
软件演化
体系结构
约束超图
条件超图文法
一致性
在线阅读
下载PDF
职称材料
基于超图文法的软件体系结构动态演化
被引量：
7
2
作者
徐洪珍
曾国荪
《同济大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
2011年第5期745-750,共6页
提出用带约束的超图表示软件体系结构,给出基于超图态射的软件体系结构动态演化通用产生式规则的形式化语义和操作,定义类型超图作为体系结构风格,运用超图文法和体系结构风格建模软件体系结构动态演化.为了验证软件体系结构动态演化的...
提出用带约束的超图表示软件体系结构,给出基于超图态射的软件体系结构动态演化通用产生式规则的形式化语义和操作,定义类型超图作为体系结构风格,运用超图文法和体系结构风格建模软件体系结构动态演化.为了验证软件体系结构动态演化的正确性,采用模型检测技术,设计算法对软件体系结构动态演化性质进行形式化验证,并应用模型检测工具进行实验分析.该方法既提供了图形化的直观表示,又展示了基于文法的形式化理论框架.
展开更多
关键词
软件演化
体系结构
形式化建模
模型检测
在线阅读
下载PDF
职称材料
一种演化超图文法到状态转移系统的映射方法
3
作者
徐洪珍
曾国荪
王晓燕
《软件学报》
EI
CSCD
北大核心
2016年第7期1772-1788,共17页
运用模型检测技术验证动态演化的正确性,是近年来软件体系结构动态演化研究领域面临的一个挑战.然而,当前的方法很少考虑软件体系结构动态演化时的相关条件.针对该问题,提出用条件状态转移系统表示软件体系结构动态演化的状态模型,将软...
运用模型检测技术验证动态演化的正确性,是近年来软件体系结构动态演化研究领域面临的一个挑战.然而,当前的方法很少考虑软件体系结构动态演化时的相关条件.针对该问题,提出用条件状态转移系统表示软件体系结构动态演化的状态模型,将软件体系结构超图映射为状态,演化规则运用映射为条件状态转移关系,给出软件体系结构动态演化的条件超图文法到条件状态转移系统的映射方法以及相应的实现算法,实现了软件体系结构动态演化的条件状态转移系统的构建,并证明了在该映射方法下,软件体系结构动态演化条件超图文法与条件状态转移系统的互模拟等价.最后通过案例分析,运用该方法以及模型检测技术,验证了软件体系结构动态演化的相关性质,从而验证了该方法的有效性.
展开更多
关键词
软件演化
体系结构
模型检测
条件超图文法
条件状态转移
在线阅读
下载PDF
职称材料
题名
软件体系结构动态演化的条件超图文法及分析
被引量：
16
1
作者
徐洪珍
曾国荪
陈波
机构
同济
大学
计算机
科学与
技术
系
东华理工大学计算机科学与技术系
嵌入式
系
统与服务
计算
教育部重点实验室
出处
《软件学报》
EI
CSCD
北大核心
2011年第6期1210-1223,共14页
基金
国家自然科学基金(90718015)
国家高技术研究发展计划(863)(2009AA012201)
+4 种基金
国家重点基础研究发展计划(973)(2007CB316502)
国家教育部博士点基金(20090072110035)
上海市优秀学科带头人计划(10XD1404400)
NSFC-微软亚洲研究院联合资助项目(60970155)
高效能服务器和存储技术国家重点实验室开放基金(2009HSSA06)
文摘
针对目前.软件体系结构动态演化描述方法的不足,提出用约束超图表示软件体系结构,用左右应用条件刻画软件体系结构动态演化的前断言和后断言,用条件超图文法建模软件体系结构动态演化过程.通过案例分析,讨论了如何构建条件超图文法并应用于软件体系结构动态演化.在此基础上,建立软件体系结构动态演化的一致性条件定义,给出动态演化的一致性判定方法.最后,设计实验进行分析,验证了方法的有效性.
关键词
软件演化
体系结构
约束超图
条件超图文法
一致性
Keywords
software evolution； architecture； constraint hypergraph； conditional hypergraph grammar； consistency；
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于超图文法的软件体系结构动态演化
被引量：
7
2
作者
徐洪珍
曾国荪
机构
同济
大学
计算机
科学与
技术
系
东华理工大学计算机科学与技术系
出处
《同济大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
2011年第5期745-750,共6页
基金
国家"八六三"高技术研究发展计划(2007AA01Z425
2009AA012201)
+5 种基金
国家"九七三"重点基础研究发展规划(2007CB316502)
国家自然科学基金(90718015)
NSFC-微软亚洲研究院联合资助(60970155)
教育部高等学校博士学科点专项科研(20090072110035)
上海市优秀学科带头人计划(10XD1404400)
高效能服务器和存储技术国家重点实验室开放基金(2009HSSA06)
文摘
提出用带约束的超图表示软件体系结构,给出基于超图态射的软件体系结构动态演化通用产生式规则的形式化语义和操作,定义类型超图作为体系结构风格,运用超图文法和体系结构风格建模软件体系结构动态演化.为了验证软件体系结构动态演化的正确性,采用模型检测技术,设计算法对软件体系结构动态演化性质进行形式化验证,并应用模型检测工具进行实验分析.该方法既提供了图形化的直观表示,又展示了基于文法的形式化理论框架.
关键词
软件演化
体系结构
形式化建模
模型检测
Keywords
software evolution
architecture
formal modeling
model checking
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
一种演化超图文法到状态转移系统的映射方法
3
作者
徐洪珍
曾国荪
王晓燕
机构
东华理工大学计算机科学与技术系
同济
大学
计算机
科学与
技术
系
出处
《软件学报》
EI
CSCD
北大核心
2016年第7期1772-1788,共17页
基金
国家自然科学基金(61272107
61262001)
+5 种基金
国家高技术研究发展计划(863)(2009AA012201)
国家教育部网络时代的科技论文快速共享专项(20110740001)
江西省青年科学家培养对象计划(20142BCB23017)
江西省自然科学基金(20114BAB2 01043)
江西省科技支撑计划(20112BBE50048)
江西省发明专利产业化技术示范项目(20143BBM26115)~~
文摘
运用模型检测技术验证动态演化的正确性,是近年来软件体系结构动态演化研究领域面临的一个挑战.然而,当前的方法很少考虑软件体系结构动态演化时的相关条件.针对该问题,提出用条件状态转移系统表示软件体系结构动态演化的状态模型,将软件体系结构超图映射为状态,演化规则运用映射为条件状态转移关系,给出软件体系结构动态演化的条件超图文法到条件状态转移系统的映射方法以及相应的实现算法,实现了软件体系结构动态演化的条件状态转移系统的构建,并证明了在该映射方法下,软件体系结构动态演化条件超图文法与条件状态转移系统的互模拟等价.最后通过案例分析,运用该方法以及模型检测技术,验证了软件体系结构动态演化的相关性质,从而验证了该方法的有效性.
关键词
软件演化
体系结构
模型检测
条件超图文法
条件状态转移
Keywords
software evolution
architecture
model checking
conditional hypergraph grammar
conditional state transition
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
软件体系结构动态演化的条件超图文法及分析
徐洪珍
曾国荪
陈波
《软件学报》
EI
CSCD
北大核心
2011
16
在线阅读
下载PDF
职称材料
2
基于超图文法的软件体系结构动态演化
徐洪珍
曾国荪
《同济大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
2011
7
在线阅读
下载PDF
职称材料
3
一种演化超图文法到状态转移系统的映射方法
徐洪珍
曾国荪
王晓燕
《软件学报》
EI
CSCD
北大核心
2016
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
