摘要
针对模型驱动开发中功能代码自动生成方面存在的问题,提出了一种形式化建模方法,用以实现模型驱动架构中功能代码的自动生成。通过进程代数描述的原子操作及其组合逻辑,使得功能行为的设计可以参数化和实例化,从而完成从高层模型描述到功能代码的自动转换。实验表明,本方法提升了软件模型描述的层次和灵活性,能够对模型驱动的软件开发提供有力的支持。
In order to resolve the problems existing in automatic function code generation of model driven development,this paper proposes a formalized modeling approach to realize automatic function code generation.Atomic operation and its combinational logic by process algebra is presented,which makes the design of functional behavior parameterization and instantiation.Therefore,it can complete the automatic transformation from abstract model to functional codes.The experiment shows that this approach promotes the level and flexibility of description of software model,and can provide an effective support for model-driven software development.
出处
《潍坊学院学报》
2012年第2期1-5,12,共6页
Journal of Weifang University
关键词
模型驱动开发
功能代码
进程代数
代码自动生成
model driven development
function code
process algebra
automatic code generation
