|
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 |
Ed Willink Messages: 7655 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.
>
>
|
|
|
|
|
Powered by
FUDForum. Page generated in 0.02088 seconds