专利名称：特征模型的建模方法
技术领域：
本发明涉及软件技术，尤其涉及一种特征模型的建模方法。
技术背景
随着软件技术的不断发展，软件系统越来越复杂，软件复用成为提高软件开发效 率和质量、实现软件产业工业化生产的重要途径。软件复用活动包含两个重要子活动可复 用软件资产的生产和基于可复用软件资产的应用系统开发，领域工程是可复用软件资产生 产的主要技术手段。
特征模型是一种面向领域的软件需求模型，其主要目的是建模并复用特定软件领 域的可复用软件需求。特征模型的基本元素包括特征以及特征之间的精化关系和约束关 系。其基本思想是将特定领域的可复用软件需求划分为一组相对独立的软件特征；并根据 特征抽象层次和粒度的不同，通过精化关系将特征集合织成树形结构；在此基础上，显式建 模特征之间的约束关系。在特征模型建立后，对需求的复用体现为对特征模型的定制，即通 过对特征模型进行剪裁或扩展，达到对需求的复用。
现有的特征建模方法，只对简单二元约束关系提供了相应的建模方法，而对复杂 的多元约束关系，还缺乏必要的建模方法。这种情况的存在，使得特征模型不能够有效地捕 获特征之间的复杂约束关系，进而导致无法有效地对特征模型进行定制和复用。发明内容
本发明提供一种特征模型的建模方法，以提高复杂约束关系的特征模型的可复用 性。
本发明提供一种特征模型的建模方法，包括
根据系统中多个特征之间的相关性，将所述多个特征分成至少两个特征集合；
根据各所述特征集合中的特征，获取各所述特征集合所对应的绑定谓词；
根据各所述特征集合，获取各所述绑定谓词之间的组合方式。
如上所述的特征模型的建模方法，其中，所述根据各所述特征集合中的特征，获取 各所述特征集合所对应的绑定谓词，包括
根据各所述特征集合中的特征之间的相关性，将各所述特征集合中的特征分成至 少两个特征组；
根据各所述特征组中的特征，获取各所述特征组所对应的子绑定谓词；
根据对应于所述特征集合的各所述特征组的所述子绑定谓词，获取所述特征集合 的所述绑定谓词。
如上所述的特征模型的建模方法，其中，所述绑定谓词的类型包括“或”、“与”和 “唯一，，；
若当所述特征集合中有一个或多个特征的取值为真，所述特征集合对应的绑定谓 词的取值即为真时，所述绑定谓词的类型为“或”；
当所述特征集合中所有特征的取值为真，所述特征集合对应的绑定谓词的取值即 为真时，所述绑定谓词的类型为“与”；
当所述特征集合中有且只有一个特征的取值为真，所述特征集合对应的绑定谓词 的取值即为真时，所述绑定谓词的类型为“唯一”。
如上所述的特征模型的建模方法，其中，
所述子绑定谓词的类型包括“或”、“与”和“唯一”；
若当所述特征组中有一个或多个特征的取值为真，所述特征组对应的子绑定谓词 的取值即为真时，所述子绑定谓词的类型为“或”；
当所述特征组中所有特征的取值为真，所述特征组对应的子绑定谓词的取值即为 真时，所述子绑定谓词的类型为“与”；
当所述特征组中有且只有一个特征的取值为真，所述特征组对应的子绑定谓词的 取值即为真时，所述子绑定谓词的类型为“唯一”；
所述绑定谓词的类型包括“或”、“与”和“唯一”；
若当所述特征集合中有一个或多个子绑定谓词的取值为真，所述特征集合对应的 绑定谓词的取值即为真时，所述绑定谓词的类型为“或”；
当所述特征集合中所有子绑定谓词的取值为真，所述特征集合对应的绑定谓词的 取值即为真，则所述绑定谓词的类型为“与”；
当所述特征集合中有且只有一个子绑定谓词的取值为真，所述特征集合对应的绑 定谓词的取值即为真时，所述绑定谓词的类型为“唯一”。
如上所述的特征模型的建模方法，其中，所述组合方式包括依赖和互斥；
若各所述绑定谓词中两个绑定谓词其中一个绑定谓词的取值为真，另一个绑定谓 词的取值必须为真，则所述两个绑定谓词的组合方式为所述另一个绑定谓词依赖所述一个 绑定谓词；
若各所述绑定谓词中两个绑定谓词的取值不能同时为真，则所述两个绑定谓词的 组合方式为互斥。
由上述技术方案可知，本发明提供特征模型的建模方法，通过根据系统中的特征 的相关性将特征分成至少两个特征集合，分别确定特征集合的绑定谓词，以及绑定谓词之 间的组合方式，实现了复杂约束关系的结构化模型，通过该方法构建的特征模型可以有效 地捕捉特征之间复杂关系，提高了特征模型的可复用性。
图1为本发明实施例提供的一种特征模型的建模方法流程图。
具体实施方式
为使本发明实施例的目的、技术方案和优点更加清楚，下面将结合本发明实施例， 对本发明实施例中的技术方案进行清楚、完整地描述。需要说明的是，在附图或说明书中， 相似或相同的元件皆使用相同的附图标记。
图1为本发明实施例提供的一种特征模型的建模方法流程图，如图1所示，该特征 模型的建模方法包括
步骤10、根据系统中多个特征之间的相关性，将多个特征分成至少两个特征集 合；
步骤20、根据各特征集合中的特征，获取各特征集合所对应的绑定谓词；
步骤30、根据各特征集合，获取各绑定谓词之间的组合方式。
在领域工程中，特征通常作为系统需求空间的一阶实体，特征具体可以为一种功 能性的需求，或者为对系统质量属性的需求，或者为外部环境对系统的某种约束条件。系统 中的多个特征之间具有一定的相关性，将系统中相关的多个特征形成一个特征集合，将系 统至少划分为两个特征集合。根据特征集合中的特征获取该特征集合对应的绑定谓词，具 体可以通过特征之间的逻辑关系确定该特征集合的绑定谓词，再根据各特征集合获取各绑 定谓词之间的组合方式。至此，就完成了系统的特征模型的构建。
在特征模型建立后，对需求的复用体现为对特征模型的定制，即从特征模型中选 择出一组适合当前复用上下文的特征。在特征模型定制过程中，通过对约束关系的检查，确 保定制结果的完整性和一致性；对特征模型的任何定制结果，只要不破坏特征之间的约束 关系，即可被认为是一个合法的需求集合。
本实施例提供的特征模型的建模方法，通过将特征划分为多个特征集合，并确定 特征集合对应的绑定谓词，以及绑定谓词之间的组合方式，可是实现对复杂的多元约束关 系的多层次结构化描述，通过该建模方法构建的特征模型在进行扩展或剪裁时，可以避免 特征及特征之间的约束关系的丢失或遗漏，提高了复杂约束关系的特征模型的可复用性。
在本实施例中，绑定谓词的类型具体可以包括“或”、“与”和“唯一”。若当特征集 合中有一个或多个特征的取值为真，特征集合对应的绑定谓词的取值即为真时，绑定谓词 的类型为“或”；当特征集合中所有特征的取值为真，特征集合对应的绑定谓词的取值即为 真时，绑定谓词的类型为“与”；当特征集合中有且只有一个特征的取值为真，特征集合对应 的绑定谓词的取值即为真时，绑定谓词的类型为“唯一”。在本实施例中，绑定谓词具体描述 了特征集合中的特征之间的逻辑关系，绑定谓词的取值具体可以为真、假或未知。在实际的 系统建模过程中，还可以根据系统需求情况，设置绑定谓词为其他类型，例如，当特征集合 中的特征其中两个取值为真时，该特征集合对应的绑定谓词的取值即为真，或当特征集合 中的所有特征的取值都为假时，该特征集合对应的绑定谓词的取值即为真等，绑定谓词的 类型不以本实施例为限。
在本实施例中，组合方式具体可以包括依赖和互斥。若各绑定谓词中两个绑定谓 词其中一个绑定谓词的取值为真，另一个绑定谓词的取值必须为真，则两个绑定谓词的组 合方式为另一个绑定谓词依赖一个绑定谓词；若各绑定谓词中两个绑定谓词的取值不能同 时为真，则两个绑定谓词的组合方式为互斥。具体的，依赖组合方式还可以包括单方依赖或 双方依赖。若两个绑定谓词为绑定谓词A和绑定谓词B，当绑定谓词A的取值为真时，绑定 谓词B的取值也必须为真，而绑定谓词B的取值为真，绑定谓词A的取值不一定为真，则表 示绑定谓词B单方依赖绑定谓词A。若当绑定谓词A的取值为真时，绑定谓词B的取值必须 为真，且绑定谓词B的取值为真，绑定谓词A的取值也必须也为真，则表示绑定谓词B与绑 定谓词A双方依赖。
在本实施例中，对系统进行特征模型建模的过程具体可以为根据系统中特征的 相关性，将特征划分成至少两个特征集合，选取其中一个特征集合作为源端特征集合，根据源端特征集合中特征之间的逻辑关系，确定复杂约束关系中源端特征集合的绑定谓词的类 型，即为“或”、“与”或“唯一”。选取另一个特征集合作为目的端特征集合，根据目的端特征 集合中特征之间的逻辑关系，确定复杂约束关系中目的端特征集合的绑定谓词的类型，即 为“或”、“与”或“唯一”。再根据源端特征集合的绑定谓词和目的端特征集合的绑定谓词之 间的关系，确定复杂约束关系中两个绑定谓词的组合方式，即为依赖或互斥。按照同样方法 获取其他特征集合的绑定谓词以及绑定谓词之间的组合方式。
在上述实施例的基础上，根据各特征集合中的特征，获取各特征集合所对应的绑 定谓词，具体可以包括以下步骤
步骤210、根据各特征集合中的特征之间的相关性，将各特征集合中的特征分成至 少两个特征组；
步骤220、根据各特征组中的特征，获取各特征组所对应的子绑定谓词；
步骤230、根据对应于特征集合的各特征组的子绑定谓词，获取特征集合的绑定谓词。
在本实施例中，具体还可以根据特征集合中特征的相关性，对该特征集合进行进 一步地划分，形成多个特征组。根据特征组中的特征获取该特征组所对应的子绑定谓词，在 根据各特征组的子绑定谓词获取该些特征组对应的特征集合的绑定谓词。在本实施例中， 子绑定谓词具体描述了特征组中的特征之间的逻辑关系，绑定谓词具体描述了特征集合中 的子绑定谓词之间的逻辑关系。通过对系统的特征进行进一步的划分，以实现复杂约束关 系的结构化建模，进一步提高了复杂约束关系的特征模型的可复用性。
在本实施例中，子绑定谓词的类型具体可以包括“或”、“与”和“唯一”。若当特征 组中有一个或多个特征的取值为真，特征组对应的子绑定谓词的取值即为真时，子绑定谓 词的类型为“或”；当特征组中所有特征的取值为真，特征组对应的子绑定谓词的取值即为 真时，子绑定谓词的类型为“与”；当特征组中有且只有一个特征的取值为真，特征组对应的 子绑定谓词的取值即为真时，子绑定谓词的类型为“唯一”。
绑定谓词的类型具体也可以包括“或”、“与”和“唯一”。若当特征集合中有一个 或多个子绑定谓词的取值为真，特征集合对应的绑定谓词的取值即为真时，绑定谓词的类 型为“或”；当特征集合中所有子绑定谓词的取值为真，特征集合对应的绑定谓词的取值即 为真，则绑定谓词的类型为“与”；当特征集合中有且只有一个子绑定谓词的取值为真，特征 集合对应的绑定谓词的取值即为真时，绑定谓词的类型为“唯一”。
在实际的系统建模过程中，同样可以根据系统需求情况，设定子绑定谓词和绑定 谓词为其他类型，此不再赘述，子绑定谓词和绑定谓词的类型不以本实施例为限。
本发明提供的特征模型的建模方法，通过根据系统中的特征的相关性将特征分成 至少两个特征集合，分别确定特征集合的绑定谓词，以及绑定谓词之间的组合方式，实现了 复杂约束关系的结构化模型，为特征之间的复杂约束关系提供了一种建模方法，且通过该 方法构建的特征模型可以有效地捕捉特征之间复杂关系，提高了特征模型的可复用性。
最后应说明的是以上实施例仅用以说明本发明的技术方案，而非对其限制；尽 管参照前述实施例对本发明进行了详细的说明，本领域的普通技术人员应当理解其依然 可以对前述实施例所记载的技术方案进行修改，或者对其中部分技术特征进行等同替换； 而这些修改或者替换，并不使相应技术方案的本质脱离本发明各实施例技术方案的精神和 范围。
权利要求
1.一种特征模型的建模方法，其特征在于，包括根据系统中多个特征之间的相关性，将所述多个特征分成至少两个特征集合； 根据各所述特征集合中的特征，获取各所述特征集合所对应的绑定谓词； 根据各所述特征集合，获取各所述绑定谓词之间的组合方式。
2.根据权利要求1所述的特征模型的建模方法，其特征在于，所述根据各所述特征集 合中的特征，获取各所述特征集合所对应的绑定谓词，包括根据各所述特征集合中的特征之间的相关性，将各所述特征集合中的特征分成至少两 个特征组；根据各所述特征组中的特征，获取各所述特征组所对应的子绑定谓词； 根据对应于所述特征集合的各所述特征组的所述子绑定谓词，获取所述特征集合的所 述绑定谓词。
3.根据权利要求1所述的特征模型的建模方法，其特征在于，所述绑定谓词的类型包 括“或”、“与”和“唯一”；若当所述特征集合中有一个或多个特征的取值为真，所述特征集合对应的绑定谓词的 取值即为真时，所述绑定谓词的类型为“或”；当所述特征集合中所有特征的取值为真，所述特征集合对应的绑定谓词的取值即为真 时，所述绑定谓词的类型为“与”；当所述特征集合中有且只有一个特征的取值为真，所述特征集合对应的绑定谓词的取 值即为真时，所述绑定谓词的类型为“唯一”。
4.根据权利要求2所述的特征模型的建模方法，其特征在于 所述子绑定谓词的类型包括“或”、“与”和“唯一”；若当所述特征组中有一个或多个特征的取值为真，所述特征组对应的子绑定谓词的取 值即为真时，所述子绑定谓词的类型为“或”；当所述特征组中所有特征的取值为真，所述特征组对应的子绑定谓词的取值即为真 时，所述子绑定谓词的类型为“与”；当所述特征组中有且只有一个特征的取值为真，所述特征组对应的子绑定谓词的取值 即为真时，所述子绑定谓词的类型为“唯一”；所述绑定谓词的类型包括“或”、“与”和“唯一”；若当所述特征集合中有一个或多个子绑定谓词的取值为真，所述特征集合对应的绑定 谓词的取值即为真时，所述绑定谓词的类型为“或”；当所述特征集合中所有子绑定谓词的取值为真，所述特征集合对应的绑定谓词的取值 即为真，则所述绑定谓词的类型为“与”；当所述特征集合中有且只有一个子绑定谓词的取值为真，所述特征集合对应的绑定谓 词的取值即为真时，所述绑定谓词的类型为“唯一”。
5.根据权利要求1或2所述的特征模型的建模方法，其特征在于，所述组合方式包括 依赖和互斥；若各所述绑定谓词中两个绑定谓词其中一个绑定谓词的取值为真，另一个绑定谓词的 取值必须为真，则所述两个绑定谓词的组合方式为所述另一个绑定谓词依赖所述一个绑定 谓词；若各所述绑定谓词中两个绑定谓词的取值不能同时为真，则所述两个绑定谓词的组合 方式为互斥。
全文摘要
本发明提供一种特征模型的建模方法，该特征模型的建模方法包括根据系统中多个特征之间的相关性，将多个特征分成至少两个特征集合；根据各特征集合中的特征，获取各特征集合所对应的绑定谓词；根据各特征集合，获取各绑定谓词之间的组合方式。通过绑定谓词和组合方式的设定，提高了复杂关系中特征模型的可复用性。
文档编号G06F9/44GK102043629SQ20101060986
公开日2011年5月4日 申请日期2010年12月28日 优先权日2010年12月28日
发明者张伟, 梅宏, 赵海燕 申请人:北京大学