[发明专利]用于属性链中的隐含图形模式的方法和系统

权利要求书

1.一种由处理器实现的方法，其特征在于，所述方法包括：

访问语义模型，所述语义模型具有支持表达式的语法句法，所述表达式包括语义模型类和语义模型类的实例中的至少一个的组合；

为所述语义模型的语义模型类和语义模型类的实例中的至少一个指定至少一个缺失属性规范，所述至少一个缺失属性规范为具有语义模型类和语义模型类的实例中的所述至少一个的所述至少一个缺失属性的使用定义约束；

将所述至少一个缺失属性规范添加到所述语义模型，要在表达式的验证和翻译中参考添加到所述语义模型的所述至少一个缺失属性规范，所述表达式包括具有指定有所述至少一个缺失属性规范之一的所述类和所述类的实例中的至少一个的组合；以及

生成所述语义模型的记录，所述记录包括添加到其的所述至少一个缺失属性规范。

2.如权利要求1所述的方法，其特征在于，由所述语义模型的所述语法句法支持的所述表达式包括属性链，函数，函数的返回值，属性的值及其组合中的至少一个。

3.如权利要求2所述的方法，其特征在于，由所述语义模型的所述语法句法支持的所述表达式包括至少一个函数，所述至少一个函数包括比较和赋值中的至少一个。

4.如权利要求2所述的方法，其特征在于，所述属性的值是数字和字符串值中的至少一个。

5.如权利要求1所述的方法，其特征在于，进一步包括：

验证所述表达式，以确定包含所述表达式的所述类和所述类的实例中的至少一个之间是否存在类型不匹配；

翻译所述表达式，以确定是否可以根据所述语义模型的所述语法来处理所述表达式；和

在所述验证和所述翻译确定了在包含所述表达式的所述类和所述类的实例中的至少一个之间存在类型不匹配的情况下，为包含在所述表达式中的所述类和所述类的实例中的至少一个所指定的所述至少一个缺失属性参考所述语义模型，以根据为所述至少一个缺失属性规范的使用所指定的所述约束，在所述表达式的所述验证和所述翻译中使用所述缺失属性。

6.如权利要求5所述的方法，其特征在于，进一步包括：

确定为所述至少一个缺失属性的使用所指定的所述约束中所定义的所述缺失属性的范围；和

使用所确定的所述缺失属性的所述范围，为所述表达式中包含的所述类和所述类的实例中的所述至少一个，评估所述表达式。

7.如权利要求6所述的方法，其特征在于，使用所确定的所述缺失属性的所述范围为所述表达式中包含的所述类和所述类的实例中的所述至少一个评估所述表达式，产生如所述语义模型定义的明确结果。

8.如权利要求1所述的方法，其特征在于，建模语言是语义应用设计语言(SADL)，语义需求语言(SRL)。

9.如权利要求8所述的方法，其特征在于，所述SRL包括受约束的SRL。

10.一种系统，其特征在于，所述系统包括：

存储器，所述存储器存储处理器可执行指令；和

处理器，所述处理器执行所述处理器可执行指令，以使所述系统执行以下操作：

访问语义模型，所述语义模型具有支持表达式的语法句法，所述表达式包括语义模型类和语义模型类的实例中的至少一个的组合；

为所述语义模型的语义模型类和语义模型类的实例中的至少一个指定至少一个缺失属性规范，所述至少一个缺失属性规范为具有语义模型类和语义模型类的实例中的所述至少一个的所述至少一个缺失属性的使用定义约束；

将所述至少一个缺失属性规范添加到所述语义模型，要在表达式的验证和翻译中参考添加到所述语义模型的所述至少一个缺失属性规范，所述表达式包括具有指定有所述至少一个缺失属性规范之一的所述类和所述类的实例中的至少一个的组合；以及

生成所述语义模型的记录，所述记录包括添加到其的所述至少一个缺失属性规范。