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

最新推荐文章于 2024-09-15 21:32:34 发布
最新推荐文章于 2024-09-15 21:32:34 发布
阅读量521 收藏
点赞数
文章标签： query attributes eclipse uml express object
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/hejishan/article/details/2267254
版权

 前索引： 围绕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 文章，
 
       对于更精细的了解OCL，可以读读OCL之父Addison Wesley的著作 《Object Constraint Language, The: Getting Your Models Ready for MDA》第二版，可以从下面的地址获取电子书：
       另外，建议大家再看看 《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复杂很多，看来要花费更多的时间在上面了。




 前索引： 围绕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 文章，
 
       对于更精细的了解OCL，可以读读OCL之父Addison Wesley的著作 《Object Constraint Language, The: Getting Your Models Ready for MDA》第二版，可以从下面的地址获取电子书：
       另外，建议大家再看看 《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复杂很多，看来要花费更多的时间在上面了。




 前索引： 围绕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 文章，
 
       对于更精细的了解OCL，可以读读OCL之父Addison Wesley的著作 《Object Constraint Language, The: Getting Your Models Ready for MDA》第二版，可以从下面的地址获取电子书：
       另外，建议大家再看看 《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复杂很多，看来要花费更多的时间在上面了。




 前索引： 围绕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 文章，
 
       对于更精细的了解OCL，可以读读OCL之父Addison Wesley的著作 《Object Constraint Language, The: Getting Your Models Ready for MDA》第二版，可以从下面的地址获取电子书：
       另外，建议大家再看看 《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复杂很多，看来要花费更多的时间在上面了。




 前索引： 围绕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 文章，
 
       对于更精细的了解OCL，可以读读OCL之父Addison Wesley的著作 《Object Constraint Language, The: Getting Your Models Ready for MDA》第二版，可以从下面的地址获取电子书：
       另外，建议大家再看看 《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复杂很多，看来要花费更多的时间在上面了。




 前索引： 围绕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 文章，
 
       对于更精细的了解OCL，可以读读OCL之父Addison Wesley的著作 《Object Constraint Language, The: Getting Your Models Ready for MDA》第二版，可以从下面的地址获取电子书：
       另外，建议大家再看看 《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复杂很多，看来要花费更多的时间在上面了。




 前索引： 围绕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 文章，
 
       对于更精细的了解OCL，可以读读OCL之父Addison Wesley的著作 《Object Constraint Language, The: Getting Your Models Ready for MDA》第二版，可以从下面的地址获取电子书：
       另外，建议大家再看看 《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复杂很多，看来要花费更多的时间在上面了。




 前索引： 围绕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 文章，
 
       对于更精细的了解OCL，可以读读OCL之父Addison Wesley的著作 《Object Constraint Language, The: Getting Your Models Ready for MDA》第二版，可以从下面的地址获取电子书：
       另外，建议大家再看看 《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复杂很多，看来要花费更多的时间在上面了。




 前索引： 围绕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 文章，
 
       对于更精细的了解OCL，可以读读OCL之父Addison Wesley的著作 《Object Constraint Language, The: Getting Your Models Ready for MDA》第二版，可以从下面的地址获取电子书：
       另外，建议大家再看看 《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复杂很多，看来要花费更多的时间在上面了。




 前索引： 围绕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 文章，
 
       对于更精细的了解OCL，可以读读OCL之父Addison Wesley的著作 《Object Constraint Language, The: Getting Your Models Ready for MDA》第二版，可以从下面的地址获取电子书：
       另外，建议大家再看看 《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复杂很多，看来要花费更多的时间在上面了。




 前索引： 围绕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 文章，
 
       对于更精细的了解OCL，可以读读OCL之父Addison Wesley的著作 《Object Constraint Language, The: Getting Your Models Ready for MDA》第二版，可以从下面的地址获取电子书：
       另外，建议大家再看看 《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复杂很多，看来要花费更多的时间在上面了。




 前索引： 围绕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 文章，
 
       对于更精细的了解OCL，可以读读OCL之父Addison Wesley的著作 《Object Constraint Language, The: Getting Your Models Ready for MDA》第二版，可以从下面的地址获取电子书：
       另外，建议大家再看看 《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复杂很多，看来要花费更多的时间在上面了。




 前索引： 围绕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 文章，
 
       对于更精细的了解OCL，可以读读OCL之父Addison Wesley的著作 《Object Constraint Language, The: Getting Your Models Ready for MDA》第二版，可以从下面的地址获取电子书：
       另外，建议大家再看看 《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复杂很多，看来要花费更多的时间在上面了。




 前索引： 围绕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 文章，
 
       对于更精细的了解OCL，可以读读OCL之父Addison Wesley的著作 《Object Constraint Language, The: Getting Your Models Ready for MDA》第二版，可以从下面的地址获取电子书：
       另外，建议大家再看看 《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复杂很多，看来要花费更多的时间在上面了。



hejishan
关注
围绕EMF探索
03-03
火龙果软件工程技术中心 围绕EMF探索（1）之存储 EMF(EclipseModelingFramework)的应用会越来越多，而围绕EMF的query,validate,transaction,persistency等等讲逐渐被大家使用，以及EMFeCore也有非常大的参考价值。...
Object Constraint Language, The: Getting Your Models Ready for MDA, Second
12-25
"In this thoroughly revised edition, Jos and Anneke offer a concise, pragmatic, and pedagogic explanation of the Object Constraint Language (OCL) and its different applications. Their discussion of OCL's potential role in Model Driven Architecture (MDA) is timely and offers great insight into the way that UML can be taken to the next level of automated software development practice. I highly recommend this book to anyone who is looking to get the most out of UML" -Shane Sendall, Ph.D.Senior ResearcherSwiss Federal Institute of Technology in Lausanne The release of Unified Modeling Language (UML) 2.0 places renewed emphasis on the Object Constraint Language (OCL). Within UML, OCL is the standard for specifying expressions that add vital information to object-oriented models and other object-modeling artifacts. Model-Driven Architecture (MDA) relies on OCL to add the level of programming detail necessary to enable Platform-Specific Models (PSM) to communicate with Platform-Independent Models (PIM). This book is a practical, accessible guide to OCL for software architects, designers, and developers. Much care has been taken during the redesign of OCL to ensure that the syntax remains readable and writable by the average software modeler. The Object Constraint Language, Second Edition, utilizes a case study to show how to exercise these compact but powerful expressions for maximum effect. This newly updated edition also Explains why OCL is critical to MDA-and why UML alone is not enough Introduces an SQL-like syntax to OCL Defines the new language constructs of OCL 2.0 Demonstrates how OCL can be incorporated into code Using a combination of UML and OCL allows developers to realize the effective, consistent, and coherent models that are critical to working with MDA. The authors' pragmatic approach and illustrative use of examples will help application developers come quickly up to speed with this important object-modeling method--and will serve as a ready reference thereafter.
object
Ayuba123的博客
11-02 345
1.     概念：Object类是类层次结构的根类，所有类都以Object类作为自己的超类（父类）。所有对象（包括数组）都可以实现这个类的方法。 *几个基本方法（在后面会具体讲到，这里只是提提） 1.public int hashcode( ) 返回该对象的哈希码只值（通过哈希算法，对照哈希表求出哈希值，也是地址，但是这的地址不是真正意义上的地址。） 2.public final clas
The Object Constraint Language: Getting Your Models Ready for MDA, Second Edition
TopMVP
11-20 819
版权声明：原创作品，允许转载，转载时请务必以超链接形式标明文章原始出版、作者信息和本声明。否则将追究法律责任。http://blog.csdn.net/topmvp - topmvpThe release of Unified Modeling Language (UML) 2.0 places renewed emphasis on the Object Constraint Language
GMF常见问题
yiliner
06-19 280
1、问题：连接线旁边没有文字标签和箭头 文字标签：在gmfmap里的Connection Mappping下增加Label Mapping元素；箭头：在gmfgraph里为Polyline Connection指定一个Polyline Decorator作为source/target decoration，要为这个Decorator创建一些Template Point来决定箭头的形状，例如指...
围绕EMF探索（5）之深入Validation框架
软件开发资料汇总
04-09 281
前索引：围绕EMF探索（1）之存储和查询前索引：围绕EMF探索（2）之再探查询组件前索引：围绕EMF探索（3）之初探OCL 前索引：围绕EMF探索（4）之Validation组件图围绕EMF探索（5）之深入Validation框架       在EMF的eCore框架中，本身提供了对Validation Framework的支持，而EMFT的Validation组件则是在这个基础上又扩展的大量
围绕EMF探索（4）之Validation组件图
.NET博文收藏
04-09 421
前索引：围绕EMF探索（1）之存储和查询前索引：围绕EMF探索（2）之再探查询组件前索引：围绕EMF探索（3）之初探OCL围绕EMF探索（4）之Validation组件图       EMF Validation Framework提供了对EMF eObjects的校验框架。这种校验框架支持两个层面的：第一个层面可以对一个集合内的eObjects进行校验，第二个层面可以时时地对对象内的属性（值
visualemf:为您的EMF模型创建d3.js可视化效果的框架
05-21
3. **交互性**：结合D3.js的交互功能，visualemf生成的可视化具有高互动性，用户可以通过点击、拖拽等操作探索模型数据。 4. **性能优化**：考虑到大型模型可能包含大量数据，visualemf在设计时考虑了性能问题，能够...
SVG转EMF的示例代码
09-10
3. 将SVG图形渲染到SVGGraphics2D对象中。 4. 使用转换上下文将SVGGraphics2D对象写入EMF输出流，通常是FileOutputStream。 5. 关闭输入流和输出流。 在实际应用中，你可能需要处理更多的细节，比如错误处理、SVG...
EMF.rar_emf
09-20
3. **EMF的使用场景** - **软件建模**：EMF广泛应用于UML（统一建模语言）和其他业务流程建模，帮助开发者以模型为中心进行系统设计。 - **数据交换**：通过XML或其他格式，EMF可以实现不同系统间的数据交换和集成...
如何解决在idea中的hadoop日志错误
ABU009的博客
09-11 254
#hadoop#idea中解决hadoop日志报错问题#log4j配置文件
如何利用UML进行领域建模
最新发布
pumpkin84514的博客
09-15 470
利用UML进行领域建模时，识别核心实体、定义实体间的关联关系、处理复杂的多对多关系都是非常重要的步骤。通过引入中间实体，复杂的多对多关系可以被拆分成两个简单的一对多关系。此外，完善业务规则和建立领域词汇表对模型的准确性至关重要。领域建模是一项需要不断实践的技能，建议将这些概念应用到实际项目中，通过反复练习来提升掌握度。
starUML使用说明文档[简单易懂/清晰明了]||好上手
weixin_60415234的博客
09-14 416
首先，您需要从 StarUML 官方网站（http://staruml.io/）下载最新版本的 StarUML 安装包。然后，按照提示进行安装。（联想可以从软件管家里下载）在 StarUML 主界面中，点击 "Model" 菜单，选择 " Add Diagram"、“ER Diagram”。安装完成后，双击桌面上的 StarUML 图标或在开始菜单中找到 StarUML，点击打开。也可以在右侧建立ER图。
UML之类图详解
犬余的博客
09-10 1111
UML类图是面向对象系统建模中不可或缺的工具之一。它通过图形化的方式展示了系统中的类、接口以及它们之间的静态结构和关系，为软件开发的各个阶段提供了有力的支持。因此，掌握UML类图的绘制方法和应用技巧对于提高软件开发的效率和质量具有重要意义。
UML-统一建模语言学习笔记20240912
weixin_46343397的博客
09-12 621
UML统一建模语言学习笔记
宝塔面板实现定时任务删除 logs文件 加条件删除 只删除一个月前的日志
qq_43541326的博客
08-13 511
进入到计划任务 点击添加任务 默认选择 shell脚本。我这里的shell脚本是 删除当前月以前的时间数据。
5110-微信小程序健身房私教预约微信小程序+ssm（源码+数据库+lun文）.zip
09-15
本系统主要针对计算机相关专业的正在做毕业设计的学生和需要项目实战练习的学习者，可作为毕业设计、课程设计、期末大作业。本系统主要针对计算机相关专业的正在做毕业设计的学生和需要项目实战练习的学习者，可作为毕业设计、课程设计、期末大作业。本系统主要针对计算机相关专业的正在做毕业设计的学生和需要项目实战练习的学习者，可作为毕业设计、课程设计、期末大作业。本系统主要针对计算机相关专业的正在做毕业设计的学生和需要项目实战练习的学习者，可作为毕业设计、课程设计、期末大作业。
EMF存储与查询实战：Eclipse Teneo在对象持久化中的应用
围绕EMF探索，火龙果软件工程技术中心深入研究了EMF（Eclipse Modeling Framework）在存储与查询领域的应用。随着EMF在企业模型管理和数据持久化中的广泛应用，其query、validate、transaction和persistency等功能...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值