10.3969/j.issn.1000-3428.2014.01.015
基于EPMM的软件过程性质合理性研究
为提高软件演化的质量和效率、缩短软件演化的周期,有必要对软件演化所涉及的软件过程进行性质合理性研究,以确保软件演化过程的正确性。根据软件演化过程元模型(EPMM)的过程层定义,提出 EPMM 性质合理性的形式定义,用于确保软件过程在实施执行中应满足的动态性质,并基于Petri网的可达图,设计陒应的性质合理性检验算法。应用结果表明,对软件演化过程进行性质合理性检验可以确保过程逻辑不发生异常,满足过程定义性质方面的正确性要求。
演化过程元模型、软件演化、软件过程、性质合理性、Petri网、元模型
TP311(计算技术、计算机技术)
2014-02-22(万方平台首次上网日期,不代表论文的发表时间)
共7页
72-77,82