潍坊学院学报
濰坊學院學報
유방학원학보
JOURNAL OF WEIFANG UNIVERSITY
2012年
2期
1-5,12
,共6页
模型驱动开发%功能代码%进程代数%代码自动生成
模型驅動開髮%功能代碼%進程代數%代碼自動生成
모형구동개발%공능대마%진정대수%대마자동생성
model driven development%function code%process algebra%automatic code generation
针对模型驱动开发中功能代码自动生成方面存在的问题,提出了一种形式化建模方法,用以实现模型驱动架构中功能代码的自动生成。通过进程代数描述的原子操作及其组合逻辑,使得功能行为的设计可以参数化和实例化,从而完成从高层模型描述到功能代码的自动转换。实验表明,本方法提升了软件模型描述的层次和灵活性,能够对模型驱动的软件开发提供有力的支持。
針對模型驅動開髮中功能代碼自動生成方麵存在的問題,提齣瞭一種形式化建模方法,用以實現模型驅動架構中功能代碼的自動生成。通過進程代數描述的原子操作及其組閤邏輯,使得功能行為的設計可以參數化和實例化,從而完成從高層模型描述到功能代碼的自動轉換。實驗錶明,本方法提升瞭軟件模型描述的層次和靈活性,能夠對模型驅動的軟件開髮提供有力的支持。
침대모형구동개발중공능대마자동생성방면존재적문제,제출료일충형식화건모방법,용이실현모형구동가구중공능대마적자동생성。통과진정대수묘술적원자조작급기조합라집,사득공능행위적설계가이삼수화화실례화,종이완성종고층모형묘술도공능대마적자동전환。실험표명,본방법제승료연건모형묘술적층차화령활성,능구대모형구동적연건개발제공유력적지지。
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.
