-
题名基于EPMM的软件过程性质合理性研究
被引量：2
- 1
-
-
作者
代飞
李彤
谢仲文
秦江龙
刘金卓
钱晔
-
机构
云南大学软件学院
云南大学云南省软件工程重点实验室
-
出处
《计算机工程》
CAS
CSCD
2014年第1期72-77,82,共7页
-
基金
国家自然科学基金资助项目(61262024
61262025)
+6 种基金
云南省自然科学基金资助项目(2012FD005
2012FB118
2012FB119)
云南省软件工程重点实验室开放基金资助项目(2010KS01
2011SE04
2012SE307
2012SE101)
-
文摘
为提高软件演化的质量和效率、缩短软件演化的周期,有必要对软件演化所涉及的软件过程进行性质合理性研究,以确保软件演化过程的正确性。根据软件演化过程元模型(EPMM)的过程层定义,提出EPMM性质合理性的形式定义,用于确保软件过程在实施执行中应满足的动态性质,并基于Petri网的可达图,设计相应的性质合理性检验算法。应用结果表明,对软件演化过程进行性质合理性检验可以确保过程逻辑不发生异常,满足过程定义性质方面的正确性要求。
-
关键词
演化过程元模型
软件演化
软件过程
性质合理性
PETRI网
元模型
-
Keywords
Evolution Process Meta-model（EPMM）
software evolution
software process
property soundness
Petri net
meta-model
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于EPMM的软件过程结构合理性研究
被引量：2
- 2
-
-
作者
代飞
李彤
谢仲文
莫启
金运志
-
机构
云南大学软件学院
云南大学云南省软件工程重点实验室
-
出处
《计算机科学》
CSCD
北大核心
2013年第8期186-190,共5页
-
基金
国家自然科学基金(60963007
61262024
+7 种基金
61262025)
云南省自然科学基金(2012FD005
2012FB118
2012FB119)
云南省软件工程重点实验室开放基金(2010KS01
2011SE04
2012SE307
2012SE101)资助
-
文摘
为了确保软件演化过程的正确性,有必要对软件演化所涉及的软件过程进行结构合理性研究,以提高软件演化的质量和效率、缩短软件演化的周期。针对EPMM建模产生的软件演化过程模型,从过程层的角度,提出结构合理性定义,并设计相应的判断算法。结果表明,结构合理性的检验有助于提高软件演化过程的质量。
-
关键词
软件演化过程
软件演化
软件过程
性质合理性
PETRI网
元模型
-
Keywords
Software evolution processes
Software evolution
Software processes
Structure soundness
Petri nets
Meta model
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
