基于形式化的功能代码自动生成

摘要：

针对模型驱动开发中功能代码自动生成方面存在的问题,提出了一种形式化建模方法,用以实现模型驱动架构中功能代码的自动生成。通过进程代数描述的原子操作及其组合逻辑,使得功能行为的设计可以参数化和实例化,从而完成从高层模型描述到功能代码的自动转换。实验表明,本方法提升了软件模型描述的层次和灵活性,能够对模型驱动的软件开发提供有力的支持。

关键词：模型驱动开发、功能代码、进程代数、代码自动生成

分类号：TP311(计算技术、计算机技术)

在线出版日期：2012-07-01（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：1-5,12