软件演化过程中运行实例的在线可信演化

• 作者: 刘聪 张璇 杨帅 王黎霞 赵倩
• 来源期刊: 计算机应用研究
• 关键词: 软件演化 过程演化 可信演化 实例迁移
• 年，卷（期）: 2013,（11）
• 所属期刊栏目: 软件技术研究
• 页码范围: 3365-3369
• 页数: 5页
• 分类号: TP311
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2013.11.041

摘要

为了提高演化的实用性,研究了演化过程实例的在线迁移,并采用高效的过程继承技术来检验实例的可迁移性.过程继承技术虽然很适合用来检验可信过程的可迁移性,但其局限性较大,在多色集合的相关理论基础上,提出了基于基本结构的Petri网分解方法并证明了这种分解方法符合Petri网的一些基本且重要的性质,用这种方法使不能按原计划一步迁移的多个过程分解开来多步迁移并尽可能保证其并行性.这种改进的过程继承技术提高了迁移的成功率,使过程继承技术适用范围更广,使软件更可信.最后通过一个网上银行支付系统说明方法在实例迁移方面的实用性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵倩	云南大学软件学院	18	75	5.0	8.0
2	张璇	云南大学软件学院	37	266	8.0	15.0
6	王黎霞	云南大学经济学院	13	70	4.0	7.0
7	刘聪	云南大学信息学院	6	42	3.0	6.0
8	杨帅	云南大学信息学院	4	42	3.0	4.0