[发明专利]生成关于模型的约束表达式的方法以及约束语言编辑器

权利要求书

1.一种用于在约束语言编辑器中帮助生成针对导航的约束语言代码的方法，其中所述约束语言编辑器用于根据所加载的模型/实例和相关约束，生成关于模型/实例的约束表达式，所述导航是实现约束的路径，包括模型/实例元素的序列，所述方法包括：

解析所加载的模型/实例；

通过所解析的模型/实例中的与导航有关的元素的类型，计算与所述元素有关的可能的关联；以及

通过所述关联计算出可能的导航路径。

2.根据权利要求1所述的方法，进一步包括：

在所述所加载的模型中存在关联继承的情形中，计算与所述元素有关的可能的关联继承；

计算与所述关联继承相关的元素有关的可能的关联；以及

通过与所述元素有关的可能的关联以及与所述关联继承相关的元素有关的可能的关联计算出可能的导航路径。

3.根据权利要求1所述的方法，进一步包括：

在所述所加载的模型中存在类继承的情形中，计算与所述元素有关的可能的类继承；

对类继承相关数据进行类型转换；

计算与所述类继承相关的元素有关的可能的关联；以及

通过与所述元素有关的可能的关联以及与所述类继承相关的元素有关的可能的关联计算出可能的导航路径。

4.根据权利要求1所述的方法，进一步包括：

在所述所加载的模型中存在集合元素的情形中，通过该集合的实例获得所有的相应类型；

找到所述实例的共同父类；

将包括所述父类型的所有类型作为候选提供给用户，并由用户选择其中之一；以及

通过所述类型计算与所述元素有关的可能的关联。

5.根据权利要求1所述的方法，进一步包括：

在所加载的是通过模型建模而成的实例的情形中，解析所加载的实例；

通过所解析的实例中的与导航有关的元素的类型，计算与所述元素有关的可能的关联；

计算与所解析的实例对应的模型层次上的可能的类型；

根据所述模型层次上的可能的类型计算属于该类型的实例；以及

通过所述与所述元素有关的可能的关联以及所述属于所述模型层次上的可能的类型的实例计算出可能的导航路径。

6.一种在约束语言编辑器中用于帮助生成针对导航的约束语言代码的导航帮助器，其中所述约束语言编辑器用于根据所加载的模型/实例和相关约束，生成关于模型/实例的约束表达式，所述导航是实现约束的路径，包括模型/实例元素的序列，所述导航帮助器包括：

模型解析器，用于解析所加载的模型；

实例解析器，用于解析所加载的实例；

关联数据库，用于存储与所述所加载的模型/实例中的关联有关的数据；

导航路径计算器，用于通过所解析的模型/实例中的与导航有关的元素的类型，计算与所述元素有关的可能的关联，并通过所述关联计算出可能的导航路径。

7.根据权利要求6所述的导航帮助器，进一步包括：关联继承数据库，用于存储与所述所加载的模型中的关联继承有关的数据，其中在所述所加载的模型中存在关联继承的情形中，所述导航路径计算器进一步用于：

计算与所述元素有关的可能的关联继承；

计算与所述关联继承相关的元素有关的可能的关联；以及

通过与所述元素有关的可能的关联以及与所述关联继承相关的元素有关的可能的关联计算出可能的导航路径。

8.根据权利要求6所述的导航帮助器，进一步包括：

类继承数据库，用于存储与所述所加载的模型中的类继承有关的数据；以及

类类型转换器，用于对于类数据进行类型转换，

其中在所述所加载的模型中存在类继承的情形中，所述导航路径计算器进一步用于：

计算与所述元素有关的可能的类继承；

计算与所述类继承相关的元素有关的可能的关联；以及

通过与所述元素有关的可能的关联以及与所述类继承相关的元素有关的可能的关联计算出可能的导航路径。