Site Sponsor
Go WordPress
Category Archives: OCL
Workshop on OCL and Textual Modelling (OCL 2012)
You can start working on your papers for the new edition of the Workshop on OCL and Textual Modelling , the best forum to discuss about the new development about OCL and textual modeling in general. You can read the call for papers here: http://st.inf.tu-dresden.de/OCL2012/cfp.php (and if necessary, you can start by reading first why
Object Constraint Language (OCL): A definitive guide
As part of my participation in the 12th Int. School on Formal Methods: Model-Driven Engineering (SFM´12) I´ve co-authored a book chapter (together with Martin Gogolla) introducing the Object Constraint Language (you may want to read why you need to learn OCL first). The abstract of the chapter is the following: The Object Constraint Language (OCL)
Why you need to learn OCL
Yes, I´m a declared OCL fanboy (plenty of my research work revolves around OCL) but I truly believe that time has come for you to learn OCL (Object Constraint Language). Let me give you just two powerful reasons for that: OCL is everywhere. You can use it to define constraints on models (and derivation rules,
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.
