公开(公告)号：CN103049602A

公开(公告)日：2013-04-17

申请号：CN201210539042.3

申请日：2012-12-13

Applicant: 南京大学

Inventor： 张天 ,  张岩 ,  赵济州 ,  李宣东

IPC: G06F17/50

CPC classification number: Y02T10/82

Abstract: 一种基于模型驱动工程的将AADL组件转换到接口自动机模型方法，包括步骤：步骤10：使用OSATE建立AADL模型；步骤11：使用EMF建立AADL元模型；步骤12：使用EMF建立IA元模型；步骤13：新建一个ATL工程，编写转换文件，将AADL模型以及AADL元模型,接口自动机元模型导入到ATL工程中；步骤14：运行ATL工程转换得到转换结果接口自动机；该方法主要特点为可以有效解决半形式化的AADL构件模型转换到接口自动机的形式化模型，基于模型驱动工程理念而非传统方法，有效利用现有建模框架和模型转换方法等。

公开(公告)号：CN102214142A

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

申请号：CN201110198546.9

申请日：2011-07-15

Applicant: 南京大学

Inventor： 张天 ,  陈华杰

IPC: G06F11/36

Abstract: 一种无痕可管理的源代码手动定义标志插桩方法，包括步骤：10：打开一个工程；11：通过在源代码编辑器上定义插桩标志，进而在整个工程中定义插桩点；12：审查所有插桩点的定义：若发现带有错误的插桩点，则进入步骤13对其进行修改；没有发现带有错误的插桩点，则直接进入步骤14；13：修改插桩的定义至正确；14：将插桩点与原源文件合并生成新源文件；15：对新源文件进行编译生成字节码文件。该方法主要特点为插桩代码可视化、集中管理插入代码、插桩过程无痕化、插桩点自动化定位、自动插桩可扩展、自动插桩高效性。