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