围绕EMF探索（3）之初探OCL

前索引： 围绕EMF探索（1）之存储和查询
前索引： 围绕EMF探索（2）之再探查询组件

围绕EMF探索（3）之初探OCL

围绕EMF模型，有个很重要的基础性组件叫EMF OCL，这是一个实现了OCL2.0标准的组件，提供了对OCL Expression的解析、校验。OCL全称是Object Constraint Language。

对OCL之前接触不是很多。两年前，在MDAChina还存在的时候，见到一些朋友谈论它。但对当时的技术和应用来说，OCL还是过于“理想化”。事实上，直到今天，OCL在国内的应用也是很稀少的。

如果不是因为探索EMF OCL这个组件的原因，我想我也很难去主动钻研OCL的那有些晦涩的Expression。虽然在UML2中，其已经成为一个用于准确描述模型的关键特性。

其实，使用EMF OCL非常简单，使用QueryFactory构造一个Query对象，设置表达式（Express），以及表达式所依赖的Context（在EMF OCL中，一般是Classifier）。然后对给定eObject对象进行检查和计算。——就这么简单。

Query query = QueryFactory.eINSTANCE.createQuery( "Book.allInstances()->select(b : Book | b <> self and b.title = self.title)", LibraryPackage.eINSTANCE.getBook()); query.setExtentMap(extents); Collection result = query.evaluate(myBook);

当然，想很熟练的应用EMF OCL，那么就必须会构造正确的Expression。

所以，不得不花费点时间学习OCL。

OCL的概念和作用就不用在这里啰嗦了，以前的MDAChina那帮爱好者们写了很多有关这方面的文章（可惜mdachina已经不存在），比较典型的就是“MDA之路”那个兄弟写的几篇blog 文章，

http://www.blogjava.net/wxb_nudt/archive/2006/11/29/2188.html 和 http://www.blogjava.net/wxb_nudt/archive/2005/04/04/2858.html 。

对于更精细的了解OCL，可以读读OCL之父Addison Wesley的著作《Object Constraint Language, The: Getting Your Models Ready for MDA》第二版，可以从下面的地址获取电子书：

http://www.netyi.net/training/4d9e427c-3d58-4f74-b540-ad642c9afccc

另外，建议大家再看看《UML2.0参考手册》附录B部分的，这部分内容也是讲OCL的，而且讲了OCL的Basic Type和Syntax。

粗略的把这两本书中一些相关的章节翻了翻，还是很有收获的。当然限于时间问题，只是翻翻而已，留个大概映像，以后慢慢再研究查阅了。

针对OCL，这里简单提几个重点性内容：

OCL是一种语言，而且是一个Query-Only语言，利用OCL所塑造的Expression为模型中的类与类、类方法、类属性做了一层约束。既然是一种语言，那么就具有最基本的两个特性：类型和语法。

OCL具有最基本的built-in类型，同时，会将Meta-Model中的所有自定义classifier都认为是类型。针对built-in类型，会有相应的很多逻辑操作相关联，比如“ and, or, xor, not”或者“ *, +, -, /”等等。这方面可以参考，里面有专门的一章节介绍OCL的类型和逻辑操作。

针对Classifier之类的类型，则存在三个纬度：作用于Classifier的约束；作用于操作（方法）的约束；作用于属性的约束。这三个层面的约束，有不同的语法表达。

Contraints on Classifiers	context Student inv: self.GPA > 2.0
Contraints on Operators	context Course::registerStudent(s : Student) : boolean pre: s.tuitionPaid = true
Contraints on Attributes	context School::tuition : float init: 2500.00

另外，提醒一下。从Eclipse CVS中抓下的ocl plugin project，需要依赖eclipse orbit包中的lpgjavaruntime组件，可以去 http://download.eclipse.org/tools/orbit/downloads/下载，其实就是net.sourceforge.lpg.lpgjavaruntime 包。

先讲讲OCL的小知识吧，今天只顾钻研OCL的基础知识和语法了，还没有来得及研究EMF OCL的源码和结构。简单的扫了几眼，着实比EMF Query复杂很多，看来要花费更多的时间在上面了。