| 基于形式化的功能代码自动生成 |
| |
| 引用本文： | 徐英娟,侯金奎.基于形式化的功能代码自动生成[J].潍坊学院学报,2012(2):1-5,12. |
| |
| 作者姓名： | 徐英娟 侯金奎 |
| |
| 作者单位： | 1. 潍坊学院,山东潍坊,261061
2. 潍坊学院,山东潍坊261061／山东大学,山东济南250101 |
| |
| 摘 要： | 针对模型驱动开发中功能代码自动生成方面存在的问题,提出了一种形式化建模方法,用以实现模型驱动架构中功能代码的自动生成。通过进程代数描述的原子操作及其组合逻辑,使得功能行为的设计可以参数化和实例化,从而完成从高层模型描述到功能代码的自动转换。实验表明,本方法提升了软件模型描述的层次和灵活性,能够对模型驱动的软件开发提供有力的支持。
|
| 关 键 词： | 模型驱动开发 功能代码 进程代数 代码自动生成 |
Formalization-Based Automatic Generation for Function Codes |
| |
| XU Ying-juan,HOU Jin-kui.Formalization-Based Automatic Generation for Function Codes[J].Journal of Weifang University,2012(2):1-5,12. |
| |
| Authors: | XU Ying-juan HOU Jin-kui |
| |
| Institution: | 1.Weifang University,Weifang 261061,China;2.Shandong University,Jinan 250101,China) |
| |
| Abstract: | |
| |
| Keywords: | model driven development function code process algebra automatic code generation |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
