一种超协调的软件演化需求元模型

A paraconsistent meta-model of requirements for software evolution

为了建模包含非协调信息的软件演化需求,提出一个超协调的元模型,其主要部件包括:特征、演化需求和演化意图.首先,分析了演化需求的5个重要特征;其次,在形式定义特征的基础上,研究了特征之间的协调、层次和交叠关系;再次,在分析特征属性间的依赖和互斥关系基础上,形式定义演化需求和演化意图,使得演化需求能包含非协调信息而演化意图必须完整和一致;最后,把演化需求规范化为演化需求第一范式(1ERNF)到第四范式(4ERNF),演化需求规范化的过程提供了一种将演化需求转化为演化意图的方法.结果表明:提出的元模型可以有效支持演化需求的5个重要特征,为提高软件演化实施的质量和效率奠定基础.

In order to meet the modeling requirements for software evolution which included inconsistent information,a paraconsistent meta-model of requirements for software evolution（RSEMM） was proposed.The model was made up of features,evolution requirements and evolution intentions.Five important properties of requirements for software evolution were discussed.Based on the formal definition of features,three important relations of consistent,gradation and overlap among features were investigated.According to the analysis of dependent and mutually exclusive relations among feature properties,requirements for software evolution and intentions for software evolution were formally defined.Requirements for software evolution were normalized as from first evolution requirements normal form（1ERNF） to 4ERNF.The normalization process provides a method to transform requirements for software evolution to intentions for software evolution.The results show that the five important properties of requirements for software evolution are embodied in RSEMM.The proposed meta-medel can improve the quality and efficiency of software evolution.