基于超图的软件产品线形式化模型

摘要

特征建模通过领域分析确定共同特征和可变特征,为软件产品开发参与人员提供了领域内唯一可确定的抽象.特征地图及其元模型对特征模型进行扩展,支持特征选取确定可复用框架之上的资产制品快速定位和组装,生成满足依赖关系和约束条件的软件产品家族.通过为特征地图及其元模型分别建立语义超图形式化模型,并提供语义跳转机制实现语义层次之间语义信息的关联,构成纵横交错的语义结构,可满足软件产品线语义多样性表达和一致性验证的需求.