公开(公告)号：CN107301128A

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

申请号：CN201710486867.6

申请日：2017-06-23

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

Inventor： 陈静 ,  王泊涵 ,  干新源 ,  柯文俊 ,  高昕睿 ,  冯大成

IPC: G06F11/36 ,  G06F17/50

Abstract: 本发明涉及一种基于Petri网模型的系统仿真验证方法，属于系统工程建模技术领域。本发明提出一种模型转换机制，将难以直接通过模型检查器验证实现的、用半形式化的语言描述的SysML模型转换为一种易于验证的形式化语言描述模型，即Petri网模型，再对转换后的模型进行模型的仿真验证，提高了系统工程模型仿真效率。

公开(公告)号：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代码，避免了语言噪声与语言集中营问题。