● 摘要
随着模型驱动软件开发的普及和发展，一系列基于模型的软件开发策略和理论也逐渐被提出。文中提出了一种基于模型驱动的原型代码框架生成方法，一方面是从静态模型到Java代码的生成，即从包含类模型与形式化约束的UML模型自动生成Java代码框架；另一方面从活动模型到业务过程执行语言BPEL的生成过程，通过对活动模型的形式化约束使生成的BPEL具有很高的精确性，从而实现对网络服务的集成与编排。该方法基于UML模型与OCL约束的形式化表示，对UML类模型及活动模型的结构部分做出形式化约束。文中所提出的模型转换原理按如下步骤来完成：①从建模工具中导出模型的XML文件，并验证模型的一致性与完整性；②将模型导入工具内进行解析，生成XMI Light轻型文件；③导入解析后的文件与目标平台转换规则，同时验证规则的完整性；④生成目标平台语言。最后，结合文中所提出的方法理论开发了基于模型驱动的原型代码框架ProGenMDA工具，并用两个实例验证了文中所提方法的可行性及工具实施的正确性。