Site Sponsor
Go WordPress
Site Sponsor
Category Archives: OCL
New OCL version available: OCL 2.3.1
Two years after the previous version (OCL 2.2), the OMG has now released the new OCL version: OCL 2.3.1. What’s new in this version? Well, not much, only a bunch of minor issues/typos that needed to be fixed. In fact, I’m not sure if this is a good thing or not. A standard that basically
SimpleOCL tool
SimpleOCL is a new addition to our OCL tool list. SimpleOCL is a proof-of-concept implementation of the OCL standard, built on top of theEclipse Modeling Framework (EMF)and EMFText. It started as an embeddable OCL implementation for inclusion in transformation languages for the EMF Transformation Virtual Machine (EMFTVM). EMFTVM allows integrated execution of heterogeneous model transformation languages. EMFTVM is
Lazy ATL: on-demand transformation execution
Salvador Martínez is back again with new ATL developments, this time explaining the new Lazy ATL model (presented at the MoDELS 2011 conference, download the unedited version of the paper). The increasing adoption of Model-Driven Engineering in industrial contexts highlights scalability as a critical limitation of several MDE tools. When these tools are built around
Proceedings of the OCL and Textual Modelling 2011 workshop now available.
I am happy to announce that the proceedings of the International Workshop on OCL and Textual Modelling 2011 have now been published in the online and open access journal Electronic Communications of the EASST If you enjoyed this post you can subscribe to this Software Modeling blog , to the portal’s mailing list , follow
Cloning in DSLs: Experiments with OCL
Robert Tairas explains our work on applying cloning techniques to DSLs (you can also read the full paper , recently presented at the SLE conference). Enter Robert: Code clones represent similar fragments of source code, where the similarity of these clones can vary ranging from clones that are exactly the same syntactically to clones that
Closure operation added to OCL
This is big news! Now OCL has a closure operation (thanks to Martin for alerting me ). This means that now in OCL you could write something like parents->closure(children) to compute the set of parents.children, parents.children.children, parents.children.children.children etc. I’ve been missing this feature for a long time since I found similar situations very often and I was
OCL and Textual Modeling Workshop – Program available
You can now check the schedule and list of accepted papers for the OCL and Textual Modeling workshop 2011.
Two upcoming workshops: ATL workshop and OCL and Textual Modeling Workshop
AtlanMod IS involved IN the organization OF two very interesting workshops co-located WITH TOOLS 2011 Federated Conferences :
- 3rd International Workshop ON Model Transformation WITH ATL . A great excuse TO gather ALL ATL researchers AND users (FROM companies OR academia) AND discuss together the future evolution OF the LANGUAGE.
Where can I get files with many examples of OCL expressions?
FOR a research project we ARE working ON I’d need to have many examples of OCL expressions.
Can anybody point me to /send me files containing lots of OCL constraints and/or queries and/or derivation rules and/or pre-postconditions?
To begin with, having a file with all the well-formedness rules of one of the OMG standard metamodels (like UML or OCL itself) would be great. If you know where I could get such a file please let me know.
Thanks for your help!!
And as always, once I find something useful I’ll share it WITH you AS well.
Anonymous functions in OCL
One of the topics that came out of the last OCL workshop (summary here ) was the possibility of adding anonymous functions (Lambda expressions) to the OCL.
