本文主要对PIM(Platform Independent Model)到EJBPSM(Platform Specific Model)转换进行了研究。介绍了模型驱动架构MDA的相关理论及技术，总结了对象约束语言OCL在MDA应用的三个方面。本文研究内容主要有三:第一，深入研究了OCL的语法语义结构，结合MDA中模型转换的期望特征，给出了一个扩展的OCL元模型OCL-Extension MetaModel，该模型对OCL表达式和表达类型进行了扩展，补充了OCL体系框架。在此基础·上，本文总结了传统模型转换过程中的不足点，提出了一种基于OCL-Extension的模型转换框架，并给出了具体的一般式表达描述。第二，通过研究了EJB平台的相关技术特性，结合扩展OCL定义的模型转换框架，本文定义了平台无关模型PIM到EJB平台组件模型的转换规则，分别给出了规则的思想描述和形式化表达。第三，在前两方面的理论基础上给出了一个实例验证。在MDA规范的模型转换技术支持下，借助RSA工具完成整个设计流程。在此设计思路下，以EJB组件模型为目标平台，应用本文的设计方案实现PIM到EJBPSM的模型转换，最后生成代码。本文设计了一个原型系统并实现了它的主要功能，通过此例也验证了本课题所提出的建模方法和模型转换设计思想的可行性和有效性。