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.
FNR Pearl Chair. Head of the Software Engineering RDI Unit at LIST. Affiliate Professor at University of Luxembourg. More about me.
see e.g. UML 2.1.1 XMI _06-10-06.zip on the omg server
(file name might have change but this is my local copy).
within the zip file see Superstructure.cmof.
There you can find the OCL expressions in the OCL syntax + also the textual human readable specification.
HTH kind regards,
Bernhard.
I had not realized that the OCL expressions were also included in the xmi files.
This covers the standard metamodel examples. Pointers to other sets of OCL expressions are still very appreciated!
https://dresden-ocl.svn.sourceforge.net/svnroot/dresden-ocl
contains about 1500 OCL testfiles i think
and two additional usefull links…(with non standard examples)
http://www.eclipse.org/modeling/mdt/downloads/?project=ocl
–>Examples: RoyalAndLoyal examples (in OCL)
http://www.eclipse.org/modeling/download.php?file=/modeling/mdt/ocl/downloads/drops/3.0.1/R201009240345/mdt-ocl-examples-3.0.1.zip
–>Automated-Tests: (about 48 tests, coded in Java ;-/ )
http://www.eclipse.org/modeling/download.php?file=/modeling/mdt/ocl/downloads/drops/3.0.1/R201009240345/mdt-ocl-Automated-Tests-3.0.1.zip
I’m sure that you know it, but USE includes SOME examples OF UML/OCL schemas. Concretely, the most interesting schemas ARE those IN the folder ~/examples/Metamodels.
There IS also a paper: Hanna Bauerdick, Martin Gogolla, Fabian Gutsche: Detecting OCL Traps IN the UML 2.0 Superstructure: An Experience Report. UML 2004: 188-196 that can be OF your interest.
Yes, Dresden OCL provides a lot of test cases (currently 3000) but also further examples:
* Royal&Loyal (UML/Java)
* SEPA (XSD/XML)
* And further small examples for UML, Java, EMF.