The modeling book
Site Sponsor
Category Archives: OCL
MoDELS 2013 – List of Tutorials and Workshops available
You can already check the list of accepted workshops and tutorials for the MoDELS 2013 conference (in Miami next October). Among the workshops, I’d strongly recommend you to take a closer look at the “OCL, Model Constraint and Query Languages” workshop, for sure the most important venue to discuss with experts on OCL and textual
Lightweight mechanism to reason on String values
Our paper Lightweight String Reasoning in Model Finding by Fabian Büttner and myself has been accepted for publication in the Journal of Systems and Software Modeling (SoSyM). The full paper (preprint version) is freely available here. The abstract is the following: Models play a key role in assuring software quality in the model-driven approach. Precise
OCL Workshop 2012 – Proceedings available
The proceedings of the 2012 Workshop on OCL and Textual Modelling (OCL 2012) are now available on the ACM digital library . Remember that a summary of the papers and discussions from the workshop can be read here. Preproceedings versions of all papers are also available from the Program page in the Workshop site If
Towards an IDE for OCL
Dresden OCL has been around for more than 10 years but has never been featured in this portal which is a shame. To fix this, I contacted Claas Wilke and Birgit Demuth and ask them to write a brief introduction to Dresden OCL for the portal readers. Hope you enjoy it and give DresdenOCL a
OCL Workshop 2012 – Live blogging
Some notes/summaries of the papers presented at the OCL Workshop 2012 (unless explicitly stated otherwise the notes refer to (my understanding of) the the presenter´s opinions, not mine, I can´t do both at the same time!) Tool Supported OCL Refactoring Catalogue (Preproceeding PDF) By: Jan Reimann, Claas Wilke, Birgit Demuth, Michael Muck, and Uwe Aßmann Semantic
OCL’12 workshop – Program online
Check the program for the upcoming OCL’12 workshop co-located with the MoDELS12 conference.
GetType function for OCL?
A colleague asked me if OCL had a getType function in the standard library that could be used to get the type of an object. The answer, AFAIK, is no. There are the oclIsKindOf(Type) and oclIsTypeOf(Type) functions to test whether an object is instance of a given type and the oclAsType to do type conversions
OCL Tutorial (slides available)
As I already mentioned before, we (me and Martin Gogolla) wrote an introductory guide to the OCL language . I’m attaching now the slides of the OCL tutorial talk I gave to present our OCL guide at the SFM’12 summer school. OCL tutorial View more presentations from Jordi Cabot. You can also download a pdf
Lightweight String Reasoning for OCL
Most domain models include a number of constraints which frequently deal with text data (e.g. checking the right format of a telephone field or checking the uniqueness of a street+city name). As all constraints, we may make mistakes when defining them and end up with a model that is completely useless (since users won’t be
EMFtoCSP – Checking the quality of your UML and EMF (static) models
Creating (correct) models isn’t an easy task. Modeling isn’t easy, and as it happens with any difficult task, difficulty increases the chances of making mistakes. Developing software following MDE-based approaches is specially sensitive to the presence of errors in models since errors in the models get propagated to the final software. The challenge of verifying
