一种基于形式化可配置特征单元的特征模型-计算机应用与软件.PDFVIP

第３５卷第１期　　　 计算机应用与软件 Ｖｏｌ３５Ｎｏ．１ ２０１８年１月　　 ＣｏｍｐｕｔｅｒＡｐｐｌｉｃａｔｉｏｎｓａｎｄＳｏｆｔｗａｒｅ Ｊａｎ．２０１８ 一种基于形式化可配置特征单元的特征模型 苏浓光　杨贯中 （湖南大学信息科学与工程学院　湖南长沙４１００８２） 摘　要　　针对自然语言或图形符号等非形式化方法在刻画传统特征模型所产生的二义性问题，在ＦＯＤＡ等方 法的研究基础上，提出用形式化语言对特征模型的层次分解、特征间依赖关系、变化性表示方法等方面进行描绘， 从而来构建可配置特征模型，以提高设计的可靠性和鲁棒性。提出特征到可配置特征单元的映射规则，通过这些 规则可以验证特征模型约束关系与可配置特征模型的一致性。 关键词　　软件产品线　特征模型　可配置特征模型　映射规则　形式化描述语言　特征描述 中图分类号　ＴＰ３１１　　　　文献标识码　Ａ　　　　ＤＯＩ：１０．３９６９／ｊ．ｉｓｓｎ．１０００３８６ｘ．２０１８．０１．００８ ＡＦＥＡＴＵＲＥＭＯＤＥＬＢＡＳＥＤＯＮＦＯＲＭＡＬＡＮＤＣＯＮＦＩＧＵＲＡＢＬＥＦＥＡＴＵＲＥＵＮＩＴ ＳｕＮｏｎｇｇｕａｎｇ　ＹａｎｇＧｕａｎｚｈｏｎｇ （ＣｏｌｌｅｇｅｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅａｎｄＥｌｅｃｔｒｏｎｉｃＥｎｇｉｎｅｅｒｉｎｇ，ＨｕｎａｎＵｎｉｖｅｒｓｉｔｙ，Ｃｈａｎｇｓｈａ４１００８２，Ｈｕｎａｎ，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ　　Ａｉｍｉｎｇａｔｔｈｅａｍｂｉｇｕｉｔｙｐｒｏｂｌｅｍｉｎｃｕｒｒｅｄｂｙｕｓｉｎｇｔｈｅｎａｔｕｒａｌｌａｎｇｕａｇｅｏｒｇｒａｐｈｉｃａｌｓｙｍｂｏｌｓａｎｄｏｔｈｅｒｎｏｎ ｆｏｒｍａｌｍｅｔｈｏｄｓｉｎｄｅｓｃｒｉｂｉｎｇｔｈｅｔｒａｄｉｔｉｏｎａｌｆｅａｔｕｒｅｍｏｄｅｌ．ＢａｓｅｄｏｎｔｈｅｓｔｕｄｙｏｆＦＯＤＡ（ＦｅａｔｕｒｅＯｒｉｅｎｔｅｄＤｏｍａｉｎ Ａｎａｌｙｓｉｓ）ｍｅｔｈｏｄ，ｔｈｅｆｏｒｍａｌｌａｎｇｕａｇｅｉｓｐｒｏｐｏｓｅｄｔｏｄｅｐｉｃｔｔｈｅｆｅａｔｕｒｅｍｏｄｅｌ’ｓｈｉｅｒａｒｃｈｙｄｅｃｏｍｐｏｓｉｔｉｏｎ，ｔｈｅｆｅａｔｕｒｅ ｍｏｄｅｌ’ｓｈｉｅｒａｒｃｈｙｄｅｃｏｍｐｏｓｉｔｉｏｎａｎｄｔｈｅｄｅｐｅｎｄｅｎｃｙｒｅｌａｔｉｏｎｓｈｉｐｂｅｔｗｅｅｎｔｈｅｆｅａｔｕｒｅｓａｎｄｔｈｅｖａｒｉａｂｉｌｉｔｙｅｘｐｒｅｓｓｉｏｎ， ｅｔｃ．Ｔｈｕｓ，ｔｈｅｃｏｎｆｉｇｕｒａｂｌｅｆｅａｔｕｒｅｍｏｄｅｌｉｓｃｏｎｓｔｒｕｃｔｅｄｔｏｉｍｐｒｏｖｅｔｈｅｒｅｌｉａｂｉｌｉｔｙａｎｄｒｏｂｕｓｔｎｅｓｓｏｆｄｅｓｉｇｎ．Ｔｈｅｐａｐｅｒ ａｌｓｏｐｒｅｓｅｎｔｔｈｅｍａｐｐｉｎｇｒｕｌｅｓｏｆｆｅａｔｕｒｅｔｏｃｏｎｆｉｇｕｒａｂｌｅｆｅａｔｕｒｅｕｎｉｔｓ，ｗｈｉｃｈｃａｎｂｅｕｓｅｄｔｏｔｅｓｔｔｈｅｃｏｎｓｉｓｔｅｎｃｙｂｅｔｗｅｅｎ ｔｈｅｆｅａｔｕｒｅｍｏｄｅｌ’ｓｃｏｎｓｔｒａｉｎｔｒｅｌａｔｉｏｎｓｈｉｐａｎｄｔｈｅｃｏｎｆｉｇｕｒａｂｌｅｆｅａｔｕｒｅｍｏｄｅｌ． Ｋｅｙｗｏｒｄｓ　　Ｓｏｆｔｗａｒｅｐｒｏｄｕｃｔｌｉｎｅ　Ｆｅａｔｕｒｅｍｏｄｅｌ　Ｃｏｎｆｉｇｕｒａｂｌｅｆｅａｔｕｒｅｍｏｄｅｌ　Ｍａｐｐｉｎｇｒｕｌｅ　Ｆｏｒｍａｌｄｅｓｃｒｉｐｔｉｖｅ ｌａｎｇｕａｇｅ　Ｆｅａｔｕｒｅｄｅｓｃｒｉｐｔｉｏｎ 了加快开发产品的过程软件平台中的构件被应用工程 ０　引　言 重用。应用需求工程、应用设计、应用实现和应用测试 应用工程包含四个过程。 ［１］ 本文提出的可配置特征模型 ＣＦＭ是面向特征的 本文主要研究将基于软件产品线高度可复用 的 开发方法引入可配置的特征模型的方法，提出了一种 领域需求规约模型［４］。通过记录领域中一组具有相对 基于形式化可配置特征单元的特征模型———可配置特