[发明专利]根据类的规范构建可编译且可执行应用程序的设备和方法

权利要求书

1.一种用于根据类(Ci)的高级表示构建可编译且可执行的应用程序(AP)的方法，每个类存储数据和/或实施至少一个公开函数和/或能够激活至少一个其它类的至少一个所选择公开函数，其特征在于所述方法包括：i)表达规范(AS)，所述规范(AS)描述了要按照以高级符号语言所编写的类(Ci)的形式化表示而构建的应用程序(AP)，所述类(Ci)的形式化表示包括类声明、数据声明、函数声明和从四种基本类型中所选择的指令类型的受限组，所述四种基本类型分别包括：用于访问所选择类的所选择存储数据的指令，用于根据所选择算子以及可能的某个或某些给定输入参数计算所选择数据的指令，用于测试所选择类数据是否满足所选择条件的指令，以及用于生成可能具有至少一个所选择数据参数的任意类的所选择公开函数的激励的指令，接着ii)根据规范类(Ci)的所述形式化表示以所选择的编程语言产生“新”类的表示，以及iii)对所述新类的表示进行组合以构建对应于所述规范(AS)的可编译且可执行的应用程序(AP)。

2.如权利要求1所述的方法，其特征在于：类的每个公开函数通过至少一个指令的序列来描述，所述指令具有从四种基本指令类型的所述受限组中所选择的类型。

3.如权利要求1和2之一所述的方法，其特征在于：所述指令类型的受限组包含所述四种基本指令类型。

4.如权利要求1和2之一所述的方法，其特征在于：所述指令类型的受限组包含的基本指令类型少于所述四种基本指令类型。

5.如权利要求1至4之一所述的方法，其特征在于：某人每次接收到描述所要构建的应用程序(AP)的规范(AS)时，i)其对所述规范(AS)执行自动分析以确定表达它的所述类，接着ii)自动确定所确定的这些规范类(Ci)的所述形式化表示。

6.如权利要求1至5之一所述的方法，其特征在于：某人存储所述类的形式化表示中的至少一些从其产生所述新类的表示的类的形式化表示，并且访问所存储的这些类的形式化表示来确定表达所述所接收规范(AS)的类(Ci)的形式化表示。

7.一种用于根据类(Ci)的高级表示构建可编译且可执行的应用程序(AP)的设备(D)，每个类存储数据和/或实施至少一个公开函数和/或能够激活至少一个其它类的至少一个所选择公开函数，其特征在于所述设备包括生成装置(GM)，所述生成装置(GM)被配置以用于i)根据表达描述所要构建的应用程序(AP)的规范(AS)的规范类(Ci)的形式化表示以所选择的编程语言产生“新”类的表示，以高级符号语言所编写的每个类的形式化表示包括类声明、数据声明、函数声明和从四种基本类型中所选择的指令类型的受限组，所述四种基本类型分别包括：用于访问所选择类的所选择存储数据的指令，用于根据所选择算子以及可能的某个或某些给定输入参数计算所选择数据的指令，用于测试所选择类数据是否满足所选择条件的指令，以及用于生成可能具有至少一个所选择数据参数的任意类的所选择公开函数的激励的指令，并且ii)用于对所述新类的表示进行组合以构建对应于所述规范(AS)的可编译且可执行的应用程序(AP)。

8.如权利要求7所述的设备，其特征在于：类的每个公开函数通过至少一个指令的序列来描述，所述指令具有从四种基本指令类型的所述受限组中所选择的类型。

9.如权利要求7和8之一所述的设备，其特征在于：所述指令类型的受限组包含所述四种基本指令类型。

10.如权利要求7和8之一所述的设备，其特征在于：所述指令类型的受限组包含的基本指令类型少于所述四个基本指令类型。

11.如权利要求7至10之一所述的设备，其特征在于其包括分析装置(AM)，所述分析装置(AM)被配置成在每次接收到描述所要构建的应用程序(AP)的规范(AS)时，对该规范(AS)进行分析以确定表达它的类。

12.如权利要求7至11之一所述的设备，其特征在于其包括存储装置(SM)，所述存储装置(SM)用于存储所述类的形式化表示中的至少一些从其产生所述新类的表示的类的形式化表示。

13.如权利要求11和12的组合所述的设备，其特征在于：所述分析装置(AM)被配置成用于访问所述存储装置(SM)以便提取所存储的表达所述所接收规范(AS)的类的形式化表示。