构件动态演化内部一致性保证方法

• 作者: 何云 向文坤 周小煊 李彤 莫启 郑明
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 构件 动态演化 内部一致性 强模拟 同态映射
• 年，卷（期）: 2018,（3）
• 所属期刊栏目: 软件与数据库技术
• 页码范围: 151-157
• 页数: 7页
• 分类号: TP311
• 字数: 10076字
• 语种: 中文
• DOI: 10.11896/j.issn.1002-137X.2018.03.024

摘要

基于构件的软件开发已成为软件开发的主流方法,针对构件式软件动态演化后的一致性保持问题,目前大多数学者主要是从构件式软件的外部一致性角度进行分析和研究.为此,从构件内部的角度出发,提出一种保证构件式软件动态演化构件内部一致性的方法.首先,对构件及其相关模型进行建模,并给出了构件内部类有向图的同态映射关系的判定算法;其次,给出构件式构件动态演化内部一致性的标准,基于进程代数的强模拟理论和图论中的同态映射关系,分别从全局和局部的角度定义了构件式软件动态演化前后构件内部一致性标准的充分条件和必要条件,并对其进行了证明;然后,基于上述工作,给出了构件动态演化内部一致性保证方法的流程;最后,通过案例研究表明该方法的可行性和有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李彤	云南大学软件学院	151	861	14.0	22.0
5	何云	云南大学软件学院	11	37	4.0	5.0
6	郑明	云南大学软件学院	5	9	1.0	3.0
7	莫启	云南大学软件学院	29	58	4.0	6.0
11	周小煊	云南大学软件学院	4	4	1.0	2.0
12	向文坤	云南大学软件学院	2	0	0.0	0.0