[发明专利]非功能需求实现策略的量化选择方法

摘要

本发明提供一种非功能需求实现策略的量化选择方法，其包括：建立一量化选择平台，该平台的支撑工具分为四层：界面层、数据层、功能层和接口层；问题图建模，通过鼠标点击平台的工具绘图区域，选取相应的建模元素，然后点击画布生成相应建模元素，在画布上进行问题框架方法中问题图的建模；在建模得到问题图的基础上，实现系统行为模型的建模；非功能需求驱动的系统行为扩展，采用基于模式的方法来在非功能需求的驱动下进行系统行为扩展；操作策略的量化选择，根据非功能需求，针对操作策略进行选择。本发明可以根据多种量化的因素，在非功能需求的指导下，从众多备选的实现策略中选取一组实现策略，使得非功能需求的满足程度达到最优。

主权项

1.一种非功能需求实现策略的量化选择方法，其特征在于，包括以下步骤：建立一量化选择平台，该平台的支撑工具分为四层：界面层、数据层、功能层和接口层；其中，界面层提供支撑工具与使用者之间的接口，接受用户的输入；数据层用于存储模式库、方法执行过程中的一些中间结果和最终结果；功能层包括三个模块：系统行为构建模块、模式应用模块和策略选择模块；系统行为构建模块是根据一个建模好的问题图来导出其系统行为模型；模式应用模块根据非功能需求行为策略模式中的问题扩展描述语言来扩展一个问题；策略选择模块是根据建模好的系统行为模型，以及用户输入的非功能需求和实现策略，通过调用0‑1规划求解器选择最优的实现策略选择方案；接口层的作用是为支撑工具和外部应用之间搭建桥梁，使得支撑工具可以成功调用外部应用；问题图建模，通过鼠标点击平台的工具绘图区域，选取相应的建模元素，然后点击画布生成相应建模元素，在画布上进行问题框架方法中问题图的建模；在建模得到问题图的基础上，实现系统行为模型的建模，包含三个步骤：形式化描述，利用Prover9证明功能需求的满足，构建现象依赖图；非功能需求驱动的系统行为扩展，采用基于模式的方法来在非功能需求的驱动下进行系统行为扩展：识别并定义四种非功能需求行为策略模式——索引模式、加密模式、缓冲模式、命令过滤模式，并为每一种行为模式定义其对应的非功能需求；操作策略的量化选择，根据非功能需求，针对操作策略进行选择，在进行操作策略选择之前，输入数据，输入的数据包括：系统行为模型中领域陈述的非功能属性、机器操作的实现策略、实现策略的非功能属性度量值、非功能需求对于系统行为非功能属性度量取值范围的约束，将操作策略的选择问题建模为一个0‑1规划问题，根据输入的数据，构建一个0‑1规划来求解最优的实现策略集合。