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

说明书

技术领域

本发明涉及根据类所表达的规范构建可编译且可执行的应用程序，并且属于面向对象编程的范畴。

背景技术

术语“类”在这里意味着由以下所表达的表达形式：类名以及至少一个所存储数据的定义(或表示)和/或由至少一个指令所描述的至少一个公开函数(public　function)。

此外，表达形式“应用程序规范”在这里意味着定义所需应用程序应当满足的至少一个要求的至少一个语句。更确切地，该应用程序要求描述了所述应用程序将要做什么，并且描述了其功能性和非功能性特征是什么。优选地，这些要求以自然语言来表达，但是它们可以在任何形式化或非形式化的文本表示形式下进行表达。

许多作者已经描述了编写(软件)应用程序的方法，但是这些方法或者是完全手工编写或者依赖于诸如Java SDK、Eclipse、Visual Studio之类的软件开发环境。所以，这些方法不允许根据其规范自动构建可执行的应用程序。

发明内容

本发明的目的是克服上面提到的缺陷，更确切地是允许根据类的高级表示(每个类存储数据和/或实施至少一个公开函数和/或能够激活至少一个其它类的至少一个所选择公开函数)所表达的规范来构建可执行的应用程序。

出于该目的，本发明提供了一种用于根据类构建可编译且可执行的应用程序的方法，其包括以下步骤：

-表达规范，该规范描述了要按照以高级符号语言所编写的类的形式化表示而构建的应用程序，该类的形式化表示包括类声明、数据声明、函数声明和从四种基本类型中所选择的指令类型的受限组，该四种基本类型分别包括：用于访问(A)所选择类的所选择存储数据的指令，用于根据所选择算子以及可能的一些(一个或多个)给定输入参数计算(C)所选择数据的指令，用于测试(T)所选择类数据是否满足所选择条件的指令，以及用于生成(G)可能具有至少一个所选择数据参数的任意类的所选择公开函数的激励的指令，接着

-根据规范类的这些高级形式化表示以所选择的编程语言产生“新”类表示，以及

-对这些新类表示进行组合以构建对应于该规范的可编译且可执行的应用程序。

根据本发明的方法可包括可单独或组合考虑的其它特征，并且特别地：

-类的每个公开函数可以通过至少一个指令的序列来描述，该指令具有从四种基本指令类型A、C、T和G的受限组中所选择的类型；

-指令类型的受限组可包含四种基本指令类型A、C、T和G；

-在一种变化形式中，指令类型的受限组中包含的类型可少于四种基本指令类型A、C、T和G；

-某人每次接收到描述所要构建的应用程序的规范时，可对该规范执行自动分析以确定表达它的类，接着可自动确定所确定的这些规范类的形式化表示；

-某人可存储至少一些从其产生新类的表示的类的形式化表示，并且可访问所存储的这些类的形式化表示来确定表达所接收规范的类的形式化表示。

本发明还提供了一种用于根据类的高级表示构建可编译且可执行的应用程序并且包括生成装置的设备，该生成装置被配置以用于：

-根据表达描述所要构建的应用程序的规范的规范类的形式化表示以所选择的编程语言产生“新”类的表示，以高级符号语言所编写的每个类的形式化表示包括类声明、数据声明、函数声明和从四种基本类型中所选择的指令类型的受限组，该四种基本类型分别包括：用于访问(A)所选择类的所选择存储数据的指令，用于根据所选择算子以及可能的一些(一个或多个)给定输入参数计算(C)所选择数据的指令，用于测试(T)所选择类数据是否满足所选择条件的指令，以及用于生成(G)可能具有至少一个所选择数据参数的任意类的所选择公开函数的激励的指令，并且

-用于对这些新类的表示进行组合以构建对应于该规范的可编译且可执行的应用程序。

根据本发明的设备可包括可单独或合并考虑的其它特征，并且特别地：

-类的每个公开函数可以通过至少一个指令的序列来描述，该指令具有从四种基本指令类型A、C、T和G的受限组中所选择的类型；

-其可包括分析装置，该分析装置被配置成在每次接收到描述所要构建的应用程序的规范时，对该规范进行分析以确定表达它的类；

-其可包括存储装置，该存储装置用于存储至少一些从其产生新类的表示的类的形式化表示；

该分析装置可被配置以用于访问该存储装置以便提取所存储的表达所接收规范的类的形式化表示。

附图说明