一种基于IMCL模型的异构式多平台代码生成系统

摘要

一种基于IMCL模型的异构式多平台代码生成系统，包括：工控系统建模模块，用于利用IMCL语言，对目标系统的功能进行刻画，获得目标系统的功能模型；IMCL模型分解模块，用于利用形式化方法，对所述功能模型进行分解，获得对应所述目标系统中的一个或多个平台的一个或多个平台模型；抽象实现模块，用于将所述一个或多个平台模型映射到对应的平台，从而对所述平台模型进行细节补充；转译部署模块，用于在抽象语法树的基础上，根据所述一个或多个平台的特点，设计对应的转换规则，从而将所述一个或多个平台模型转化为对应的平台代码。本发明解决了现有技术难以同时对多平台代码进行生成的问题，并通过功能模型的分解实现了目标平台代码的自动生成。