[发明专利]一种基于lambda规则的图形化概念建模方法

权利要求书

1.一种基于lambda规则的图形化健身房概念建模方法，其特征在于，所述方法包括以下步骤：

步骤S100：搭建初始图形化健身房概念模型，所述初始图形化健身房概念模型包括本体视图、属性视图、关系视图和规则视图；

步骤S200：获取论证目标，其中，所述论证目标包括设计目标、设计变量和约束条件，所述设计目标为以最小的资源消耗代价提高接待顾客的能力以及顾客的满意度，所述设计变量为面积分配和经营人员岗位配置，所述约束条件为健身房区域总面积固定；

步骤S300：根据所述论证目标确定所述本体视图中的领域本体库信息，根据所述领域本体库信息确定所述属性视图中的资源、活动和关系的属性，根据所述领域本体库信息确定所述关系视图中资源和活动之间的关系，以及根据所述领域本体库信息和所述论证目标采用lambda表达式建立和管理所述规则视图中的规则，得到更新后的图形化健身房概念模型，所述领域本体库信息包括资源本体、活动本体、关系本体和规则本体；

步骤S400：对所述更新后的图形化健身房概念模型进行仿真，得到仿真结果；

步骤S500：根据所述仿真结果和所述设计目标对所述更新后的图形化健身房概念模型进行调整，得到优化后的图形化健身房概念模型；

步骤S300中根据所述领域本体库信息和所述论证目标采用lambda表达式建立和管理所述规则视图中的规则，包括：

步骤S331：根据所述领域本体库信息和所述论证目标采用lambda表达式建立配置规则，所述配置规则包括：手套数量配置、心率带数量配置、登记区面积配置、沐浴区面积配置以及每个更衣间的占用面积配置的赋值表达式；

步骤S332：根据所述领域本体库信息和所述论证目标采用lambda表达式建立等价规则，所述等价规则包括：更衣间的数量等于更衣区的面积除以每一更衣间的占用面积，登记区的排队最大容纳数量等于登记区的面积除以每个顾客的占用面积的等价表达式表达；

步骤S333：根据所述领域本体库信息和所述论证目标采用lambda表达式建立活动规则，所述活动规则包括配置充电规则和登记规则；

步骤S334：根据所述领域本体库信息和所述论证目标对所述配置规则、所述等价规则和所述活动规则进行补全、融合和冲突消解。

2.根据权利要求1所述的方法，其特征在于，步骤S100中，所述本体视图为所述属性视图、所述关系视图和所述规则视图提供本体类型，所述属性视图为所述关系视图和所述规则视图提供属性元数据，所述关系视图为所述规则视图提供关系参数，所述规则视图采用lambda表达式建立规则并对所述规则进行管理。

3.根据权利要求2所述的方法，其特征在于，所述本体视图为树结构，所述属性视图为元数据结构，所述关系视图为有向图结构。

4.根据权利要求1所述的方法，其特征在于，步骤S300中根据所述论证目标确定所述本体视图中的领域本体库信息，包括：

步骤311：根据所述论证目标中的设计变量建立资源本体；

步骤312：根据所述论证目标中的设计变量建立活动本体；

步骤313：根据所述论证目标中的设计变量、约束条件和设计目标建立关系本体；

步骤314：根据所述论证目标中的设计变量、约束条件和设计目标建立规则本体。

5.根据权利要求4所述的方法，其特征在于，步骤S300中根据所述领域本体库信息确定所述属性视图中的资源、活动和关系的属性，包括：

根据所述资源本体确定资源的属性，根据所述活动本体确定活动的属性，根据所述关系本体确定关系的属性。

6.根据权利要求5所述的方法，其特征在于，步骤S300中根据所述领域本体库信息确定所述关系视图中资源和活动之间的关系，包括：

步骤S321：根据所述领域本体库信息确定所述关系视图中资源-资源关系；

步骤S322：根据所述领域本体库信息确定所述关系视图中资源-活动关系；

步骤S323：根据所述领域本体库信息确定所述关系视图中活动-资源关系；

步骤S324：根据所述领域本体库信息确定所述关系视图中活动-活动关系。