一种基于基数的领域特征模型检验方法

摘要

基于基数(Cardinality)的领域特征建模是一种特殊的领域建模技术。该技术通过引入特征基数、特征组基数、特征属性和特征图引用等技术对FODA[2](Feature－OrientedDomainAnalysis面向特征的领域分析方法)方法进行了扩展。基数机制允许在领域模型定制应用模型过程中，对领域模型中的特征和约束关系进行复制，因此在应用模型中将存在同一特征的多个克隆体。采用基数思想将带来以下两个问题：一个问题是特征间的附加约束关系语义缺失，从而导致依赖约束检验应用模型的方法失效。另一问题是，在定制后的应用模型中，由于包含了大量的特征和约束克隆体，造成应用特征模型庞大复杂，模型的正确性检验效率明显降低。 针对目前基数特征模型验证中遇到的以上问题，参考领域特征模型检验方法，结合附加约束关系在特征模型中的语义信息，本文提出基数特征模型检验方法，解决了由基数机制引起的模型检验问题。本文主要研究为以下几方面。 对于语义缺失问题，首先通过对特征间的关系的分析，给出了特征间附加约束的两个具体约束种类，即二元约束关系和复合约束关系。然后，根据约束关系的完整语义在模型定制后所需求的信息，给出了两类附加约束关系的Schema定义和约束表达形式。以便于本方法对特征模型进行检验。 针对克隆机制致使模型中存在大量的特征和附加约束关系拷贝，从而导致模型检验效率较低的问题。本文依据特征的属性和选择状态对附加约束判定的影响，利用无效附加约束关系的充分条件作为判定规则，在特征模型检验前筛除无效附加约束关系，从而降低了模型检验的复杂度。 通过对附加约束的种类和语义分析，本文对两类附加约束关系分别提出了检验规则，并给出了检验规则的形式化描述。为了进一步提高应用模型的检验效率，降低模型检验的时间复杂度，本文引入了BDD(二元决策图)机制。通过将附加约束关系构建成BDD，本方法在检验特征模型时，明显减少了在特征树中遍历查找约束关系的次数。

目录

文摘

英文文摘

声明

1 绪论

1.1 引言

1.2 国内外相关研究进展

1.2.1特征模型的检验

1.2.2附加约束的检验

1.2.3基数特征建模

1.3 主要研究内容与研究意义

1.4论文组织结构

2特征领域建模技术

2.1 领域工程

2.1.1领域工程开发过程

2.1.2领域分析方法

2.1.3领域工程与应用工程的关系

2.2特征领域建模的基本概念

2.2.1特征

2.2.2特征的分类

2.2.3 FODA方法

2.2.4领域特征模型的结构

2.3 本章小结

3基于XML的基数特征建模

3.1 XML特征建模过程

3.2基数特征建模工具FMP

3.2.1基数

3.2.2 FMP建模

3.3基数特征建模的附加约束关系

3.3.1附加约束的语义缺失问题

3.3.2附加约束有效性

3.3.3约束形式转换

3.3.4二元约束的Schema定义

3.3.5复合约束的Schema定义

3.4本章小结

4基数特征模型附加约束检验方法

4.1模型检验步骤

4.2附加约束检验规则

4.2.1约束有效性检验

4.2.2二元约束检验规则

4.2.3复合约束检验规则

4.2.4检验规则的递归引用

4.3模型检验的实现

4.4实例检验与分析

4.5相关方法比较

4.6 本章总结

5总结和展望

5.1 总结

5.2 未来工作与展望

参考文献

致谢

个人简历

发表的学术论文