基于EPMM的软件过程性质合理性研究

• 作者: 代飞 刘金卓 李彤 秦江龙 谢仲文 钱晔
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 演化过程元模型 软件演化 软件过程 性质合理性 Petri网 元模型
• 年，卷（期）: 2014,（1）
• 所属期刊栏目: 体系结构与软件技术
• 页码范围: 72-77,82
• 页数: 7页
• 分类号: TP311
• 字数: 7302字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2014.01.015

摘要

为提高软件演化的质量和效率、缩短软件演化的周期，有必要对软件演化所涉及的软件过程进行性质合理性研究，以确保软件演化过程的正确性。根据软件演化过程元模型(EPMM)的过程层定义，提出 EPMM 性质合理性的形式定义，用于确保软件过程在实施执行中应满足的动态性质，并基于Petri网的可达图，设计陒应的性质合理性检验算法。应用结果表明，对软件演化过程进行性质合理性检验可以确保过程逻辑不发生异常，满足过程定义性质方面的正确性要求。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李彤	云南大学软件学院	151	861	14.0	22.0
5	谢仲文	云南大学软件学院	26	97	6.0	8.0
9	代飞	云南大学软件学院	26	93	6.0	8.0
13	钱晔	云南大学软件学院	5	30	2.0	5.0
14	秦江龙	云南大学软件学院	13	61	5.0	7.0
18	刘金卓	云南大学软件学院	5	15	2.0	3.0