[发明专利]根据类的规范构建可编译且可执行应用程序的设备和方法无效
| 申请号： | 200810189596.9 | 申请日： | 2008-12-08 |
| 公开（公告）号： | CN101482818A | 公开（公告）日： | 2009-07-15 |
| 发明（设计）人： | P·拉尔韦 | 申请（专利权）人： | 阿尔卡特朗讯 |
| 主分类号： | G06F9/44 | 分类号： | G06F9/44 |
| 代理公司： | 北京市金杜律师事务所 | 代理人： | 王茂华;唐文静 |
| 地址： | 法国*** | 国省代码： | 法国;FR |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明提供了根据类的规范构建可编译且可执行应用程序的设备和方法。该设备旨在根据类的高级表示构建可执行的应用程序，每个类存储数据和/或实施至少一个公开函数和/或能够激活至少一个其它类的至少一个所选择公开函数。该设备包括生成装置，其被配置用于i)根据规范类的形式化表示产生“新”类的表示，每个类的形式化表示包括类声明、数据声明、函数声明和从四种基本类型中所选择的指令类型的受限组，以及ii)用于对所述新类的表示进行组合以构建对应于所述规范的可执行的应用程序。 | ||
| 搜索关键词： | 根据 规范 构建 编译 可执行 应用程序 设备 方法 | ||
【主权项】：
1. 一种用于根据类(Ci)的高级表示构建可编译且可执行的应用程序(AP)的方法，每个类存储数据和/或实施至少一个公开函数和/或能够激活至少一个其它类的至少一个所选择公开函数，其特征在于所述方法包括：i)表达规范(AS)，所述规范(AS)描述了要按照以高级符号语言所编写的类(Ci)的形式化表示而构建的应用程序(AP)，所述类(Ci)的形式化表示包括类声明、数据声明、函数声明和从四种基本类型中所选择的指令类型的受限组，所述四种基本类型分别包括：用于访问所选择类的所选择存储数据的指令，用于根据所选择算子以及可能的某个或某些给定输入参数计算所选择数据的指令，用于测试所选择类数据是否满足所选择条件的指令，以及用于生成可能具有至少一个所选择数据参数的任意类的所选择公开函数的激励的指令，接着ii)根据规范类(Ci)的所述形式化表示以所选择的编程语言产生“新”类的表示，以及iii)对所述新类的表示进行组合以构建对应于所述规范(AS)的可编译且可执行的应用程序(AP)。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于阿尔卡特朗讯，未经阿尔卡特朗讯许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/200810189596.9/，转载请声明来源钻瓜专利网。
