-
题名一种演化超图文法到状态转移系统的映射方法
- 1
-
-
作者
徐洪珍
曾国荪
王晓燕
-
机构
东华理工大学计算机科学与技术系
同济大学计算机科学与技术系
-
出处
《软件学报》
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
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于非对称具有优先级的一类逻辑环随机模型
被引量：2
- 2
-
-
作者
王思明
何春燕
-
机构
广州暨南大学电子信息工程系
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
2001年第11期1564-1567,共4页
-
基金
"2 1 1工程"重点学科建设项目<电子信息系统与通信技术>课题 (No .0 53340 )
-
文摘
讨论一种具有广泛性和代表性的带有优先级的逻辑环随机服务系统 :非对称型、队列容量有限、服务上额受限 .主要内容有 :系统运行特点 ;队列状态转移特性 ;队列状态转移概率近似算法 ;队列状态概率非常规算法等 .文中提出状态条件转移和状态转移组合等新概念 ;以及集中参数替代分布参数和反求等方法 .
-
关键词
随机模型
计算机网络
优先级
逻辑环
状态条件转移
状态转移组合
马尔可夫链
-
Keywords
logical ring
state conditinal transition
state transition combination
Markov-Chain
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
