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

Research on Structure Soundness of Software Processes Based on EPMM

作　　者：代飞[1,2] 李彤[1,2] 谢仲文[1,2] 莫启[1] 金运志[1] 

机构地区：[1]云南大学软件学院,昆明650091 [2]云南大学云南省软件工程重点实验室,昆明650091

出　　处：《计算机科学》2013年第8期186-190,共5页Computer Science

基　　金：国家自然科学基金(60963007;61262024;61262025);云南省自然科学基金(2012FD005;2012FB118;2012FB119);云南省软件工程重点实验室开放基金(2010KS01;2011SE04;2012SE307;2012SE101)资助

摘　　要：为了确保软件演化过程的正确性,有必要对软件演化所涉及的软件过程进行结构合理性研究,以提高软件演化的质量和效率、缩短软件演化的周期。针对EPMM建模产生的软件演化过程模型,从过程层的角度,提出结构合理性定义,并设计相应的判断算法。结果表明,结构合理性的检验有助于提高软件演化过程的质量。In order to ensure the correctness of software evolution processes, to check the structure soundness of the software processes under which the corresponding software is evolving is necessary. It is used to improve the quality and efficiency of software evolution and shorten the time of software evolution. According to the software evolution process models modeled by software evolution process meta-model（EPMM）, the structure soundness was defined from the point of view of software processes. Moreover, the corresponding algorithms were designed. The result shows that to check the structure soundness helps to improve the quality of software evolution processes.

关 键 词：软件演化过程 软件演化 软件过程 性质合理性 PETRI网 元模型 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]