一种模型驱动的原型生成方法研究实现

摘要：

随着模型驱动技术的重要性与日俱增,一系列基于模型的软件开发策略也日益被提出.提出一种模型驱动的原型生成方法,即从包含类模型与形式化约束的UML模型自动生成原型.该方法基于UML模型与OCL约束的形式化表示,对UML模型特别是静态结构部分作出形式化表示,并通过示例给予分析.基于类模型及形式化约束,原型按以下步骤生成:首先从类模型中生成实体对象集合(entityobject set,EOS);然后从类模型中生成包含操作按钮的原型界面;最后生成操作及约束的处理程序.为生成原型,须将类模型及约束条件转换成可执行的原子操作代码.这些原子操作用来创建、删除或更新对象,或者用来创建、删除对象间的关联关系.基于Java语言开发出一个从UML模型生成原型的支持工具,并通过一个简单的示例论证该方法的可行性.

关键词：OCL、UML、原型、形式化方法

所属期刊栏目：41

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

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

页数：共7页

页码：496-502