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

【Abstract】 Because of the growing importance of model driven technology, a number of model-based software development strategies have been proposed. We present a method of model driven prototype generator for automatically generating a prototype from a UML model which consists of a class model and formal constraints description. The method is based on a formalization of UML model which specified by object constraint language. We define the formalization of UML model, especially focus on the static structural aspect. And we give corresponding detailed analyses through some examples. According to UML class model and formal constraint, our strategy is as follows: firstly we generate entity object set (EOS) from class model; subsequently the prototype graphical user interface which includes actions button is created; finally we make up with the handler of actions button and constraint. There are two main problems we should solve. On one hand, how to build the relationship between class model and EOS for generating entity object set from UML class model; on the other hand, how to make rigorous program code for handling EOS from UML class model and OCL constraint. To generate a prototype, we transform the pre- and post- condition of class model to the executable atomic actions code. These actions are to create or delete an object, update an object, establish or remove a link between two objects with respect to an association. An automated prototype generator is developed in Java, and a simple case is used as an example to illustrate the feasibility of the method.更多还原