The Object Constraint Language: Getting Your Models Ready for MDA, Second Editon （译文草稿）(1)

1.1 ocl介绍

对象约束语言(ocl, object constraint language) 是一种能用于建造软件模型的建模语言。它被omg定义为uml的标准附加("add-on")，uml)用于面向对象的分析与设计。用ocl写的表达式依赖于uml图中定义的类型(如类、接口等)。因此，ocl的用途包含uml的部分用途。

用ocl写的表达式在面向对象模型和其他对象模型制品中增加了至关重要的信息。这些信息通常不能在图中表达。在uml1.1中，这些信息被看成是对约束的限制，这些约束被定义为一个(或部分)面向对象模型或系统中一个或多个值的限制。而在uml2，这些信息是必须包含在模型中的。定义查询，参考值或规定条件和业务规则都是通过写表达式来完成的。ocl是可以用来写清晰、明确风格的表达式的标准语言。

目前，最新的ocl 2.0 已正式在ocl规范中定义并被omg采纳。

omg标准间有很强的相互关系。omg现在的主要活动是mda。mda方法的实质是模型是软件开发的基础。所以，模型必须优良和一致的。通过联合uml和ocl，你可以建立这样的模型。

1.2 模型驱动架构(mda)

mda正逐渐成为软件开发中重要的方面。很多工具声称兼容mda，但什么才真正是mda呢？

mda是在omg监督下建立的一种框架。它定义了一种语言定义的模型如何转换到另一种语言定义的模型。一个转换的例子是从uml模型中创建数据库模式 ，uml成为源语言，而sql成为目标语言。源代码也被认为是一种模型。因此，从uml模型中生成代码也是一种转换。

本节给出了一个简单的mda介绍。你可以在omg的网站和很多图书上找到更多关于mda的信息。

1.2.1 pim和psm

mda的关键是软件开发过程中模型的重要性。mda中，软件开发过程是由建立软件系统模型的活动驱动的。mda分成三个步骤：

因为psm与相关技术非常接近，最后的转换比较简单。负责的步骤是将pim转换为pim。pim、psm和源代码间的关系，以及它们间的转换如下图：