Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Modeling » OCL » Example of OCL use in a real open source projects / DSLs
Example of OCL use in a real open source projects / DSLs [message #1671284] Fri, 13 March 2015 14:43 Go to next message
ping cin is currently offline ping cinFriend
Messages: 13
Registered: February 2014
Junior Member
Hi everyone,

I am looking for open source projects / DSLs that have a metamodel and also define OCL constraints.

I know that the UML implementation in eclipse does have OCL constraints, I already found them and had a look at them.

Now, I am looking for other cases/examples.

Please, can anyone of you help me ? can you advise me with some projects / DSLs using OCL?

Thank you in advance.

best regards.

Re: Example of OCL use in a real open source projects / DSLs [message #1671519 is a reply to message #1671284] Fri, 13 March 2015 16:43 Go to previous messageGo to next message
Ed Willink is currently offline Ed WillinkFriend
Messages: 5432
Registered: July 2009
Senior Member
Hi

Many of the most interesting are proprietary.

There are two different modeling worlds that I characterize as:

The pragmatic implementation-driven modeling world which treats modeling
as a better Java. This world may use Xtend and Xbase where you may
notice some inspirations from OCL-like approaches. This world does not
use OCL.

The idealistic specification-driven modeling world which looks forward
to the day when UML is the solution to all problems. OCL is fundamental
to complete specifications, whether UML models or QVT transformations or
.... Unfortunately 'the day' is not approaching nearly as fast as it
could. However while tools are not nearly as good as they could be, they
are increasingly useful. In recent years Eclipse OCL has successively
added OCL embedded in Ecore, Xtext OCL editors, OCL to Java code
generation and OCL debugging; each useful but not perfect. Papyrus has
made UML much more useable and Eclipse OCL has some important
integrations within papyrus.

Back to your question.

Many serious OMG modeling specifications rely on OCL for the low level
formality. In particular QVT and MOFM2T (Acceleo) are OCL extensions.

At Eclipse,

Eclipse OCL is increasingly used to autogenerate the Eclipse OCL tooling.

/org.eclipse.ocl.pivot/model/Pivot.ocl

contributes Java code using the OCL to Java code generator.

Eclipse QVTd (Mars M6) uses extended OCL tooling to create direct Java
executables for QVTr and QVTc transformations.

Eclipse UML2 may move to direct Java generation of its OCL in the Mars+1
release.

Hitherto use of OCL has been hindered by its poor tool quality.
Hopefully with editors, debuggers and code generators the situation can
start to change.

Regards

Ed Willink



On 13/03/2015 14:43, ping cin wrote:
> Hi everyone,
>
> I am looking for open source projects / DSLs that have a metamodel and
> also define OCL constraints.
> I know that the UML implementation in eclipse does have OCL
> constraints, I already found them and had a look at them.
>
> Now, I am looking for other cases/examples.
> Please, can anyone of you help me ? can you advise me with some
> projects / DSLs using OCL?
> Thank you in advance.
>
> best regards.
>
>
Re: Example of OCL use in a real open source projects / DSLs [message #1671826 is a reply to message #1671519] Fri, 13 March 2015 19:29 Go to previous messageGo to next message
ping cin is currently offline ping cinFriend
Messages: 13
Registered: February 2014
Junior Member
Thank you very much.

Best regards.
Re: Example of OCL use in a real open source projects / DSLs [message #1689005 is a reply to message #1671284] Sun, 22 March 2015 11:32 Go to previous message
Alexander Kraas is currently offline Alexander KraasFriend
Messages: 9
Registered: March 2015
Junior Member
Hello ping cin,

maybe my project that implements a profile for SDL-UML could be interesting for you, because I have specified a metamodel extending that of UML and also an static profile. For both kind of artefacts I use a lot of OCL invariants as well as queries that are embedded in the generate code. But please note that I use a modified variant of the OCL evaluation environment so that I can evaluate stereotype applications in the standardized way by using "base_xxx" and "extension_yyyy" associations.

If you are interested in the source code, you can download it via www.su-moval.org
In order to run the code you need the Eclipse Kepler Modeling Edition.

Best regards,
Alexander
Previous Topic:ClassCastException when evaluating constraint on UML::Datatype property
Next Topic:Problems with generating Java code for static Profiles
Goto Forum:
  


Current Time: Sat Oct 21 05:14:02 GMT 2017

Powered by FUDForum. Page generated in 0.02421 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software