公开(公告)号：CN108647030B

公开(公告)日：2022-03-11

申请号：CN201810275497.6

申请日：2018-03-30

Applicant: 北京计算机技术及应用研究所

Inventor： 陈静 ,  柯文俊 ,  郭少帅 ,  徐少帅 ,  徐赛赛 ,  关斯琪 ,  王泊涵 ,  侯敏 ,  冯大成

IPC: G06F8/51 ,  G06F8/30

Abstract: 本发明公开了一种基于闭包算法的同步语言航天C代码自动生成方法，其中，包括：将每一个方程式看作为一个实例，通过获得连接Conn，得到所有结点间关系的元组，其中结点类型分为输入，操作以及输出三种类型；对所有的元组进行标记为false和true，其中false为未检查，true为已被检查，初始标注均为false；通过同步语言模型闭包划分算法组成闭包；通过同步语言模型闭包内部排序算法进行排序；通过拓扑排序获得拓扑序列。本发明一种基于闭包算法的同步语言航天C代码自动生成方法，具有准确性，安全性以及可靠性。

公开(公告)号：CN107273143A

公开(公告)日：2017-10-20

申请号：CN201710616616.5

申请日：2017-07-26

Applicant: 北京计算机技术及应用研究所

Inventor： 柯文俊 ,  王泊涵 ,  干新源 ,  陈静 ,  王坤龙 ,  关斯琪 ,  高昕睿

IPC: G06F9/44 ,  G06F9/45

Abstract: 本发明公开了一种基于Xtext的特定领域语言的软件工程设计方法，其中，包括：步骤一、由EMF元模型到Xtext语义模型的转换；骤二、依据步骤一得到的初始的DSL语义模型采用拓扑图结构对语义模型进行验证和优化；步骤三、利用Xtext的语法验证模块编辑验证规则的方法，对代码进行验证；步骤四、验证完成后生成C/Java代码。本发明基于Xtext的特定领域语言的软件工程设计方法，规范DSL设计流程，降低DSL构建成本。同时基于Xtext的代码验证模块，帮助相关人员调式代码，加强DSL对软件环境的适应性。最后，让DSL代码自动生成C/Java代码，避免了语言噪声与语言集中营问题。

公开(公告)号：CN108647030A

公开(公告)日：2018-10-12

申请号：CN201810275497.6

申请日：2018-03-30

Applicant: 北京计算机技术及应用研究所

Inventor： 陈静 ,  柯文俊 ,  郭少帅 ,  徐少帅 ,  徐赛赛 ,  关斯琪 ,  王泊涵 ,  侯敏 ,  冯大成

IPC: G06F8/51 ,  G06F8/30

Abstract: 本发明公开了一种基于闭包算法的同步语言航天C代码自动生成方法，其中，包括：将每一个方程式看作为一个实例，通过获得连接Conn，得到所有结点间关系的元组，其中结点类型分为输入，操作以及输出三种类型；对所有的元组进行标记为false和true，其中false为未检查，true为已被检查，初始标注均为false；通过同步语言模型闭包划分算法组成闭包；通过同步语言模型闭包内部排序算法进行排序；通过拓扑排序获得拓扑序列。本发明一种基于闭包算法的同步语言航天C代码自动生成方法，具有准确性，安全性以及可靠性。