摘要
为提高软件演化的质量和效率、缩短软件演化的周期,有必要对软件演化所涉及的软件过程进行性质合理性研究,以确保软件演化过程的正确性。根据软件演化过程元模型(EPMM)的过程层定义,提出EPMM性质合理性的形式定义,用于确保软件过程在实施执行中应满足的动态性质,并基于Petri网的可达图,设计相应的性质合理性检验算法。应用结果表明,对软件演化过程进行性质合理性检验可以确保过程逻辑不发生异常,满足过程定义性质方面的正确性要求。
In order to improve the quality and efficiency of software evolution and shorten the time of software evolution, it is a necessity to research the property soundness of the software processes which the corresponding software is evolving to ensure the correctness of software evolution processes. According to the process level definition of the software Evolution Process Meta-model（EPMM）, the property soundness which is defined to ensure software evolution processes should meet the dynamic properties during software process enactment. Moreover, the corresponding property soundness check algorithms are designed based on the reachability graph of Petri nets. Application result shows that checking the property soundness is used to ensure that software processes logic does not occur exceptions, and it meets the correct requirements from the view of process definition property.
出处
《计算机工程》
CAS
CSCD
2014年第1期72-77,82,共7页
Computer Engineering
基金
国家自然科学基金资助项目(61262024
61262025)
云南省自然科学基金资助项目(2012FD005
2012FB118
2012FB119)
云南省软件工程重点实验室开放基金资助项目(2010KS01
2011SE04
2012SE307
2012SE101)
关键词
演化过程元模型
软件演化
软件过程
性质合理性
PETRI网
元模型
Evolution Process Meta-model（EPMM）
software evolution
software process
property soundness
Petri net
meta-model
