首页 期刊 工程科学与技术 基于超图的软件产品线形式化模型 【正文】

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

作者:李弈远; 尹建伟; 高鹏; 董金祥 浙江大学计算机科学与技术学院; 北京神舟航天软件技术有限公司; 浙江大学计算机科学与技术学院; 浙江杭州; 浙江杭州
特征地图   元模型   超图   语义层次   语义跳转  

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

注:因版权方要求,不能公开全文,如需全文,请咨询杂志社

学术咨询 免费咨询 杂志订阅