Eclipse Community Forums: MDT (Model Development Tools) » [MDT-OCL] Defining OCL constraints

Help

Home

Home » Modeling » MDT (Model Development Tools) » [MDT-OCL] Defining OCL constraints

Show: Today's Messages :: Show Polls :: Message Navigator

[MDT-OCL] Defining OCL constraints [message #647482]

Thu, 06 January 2011 15:42

Ashwani Kr Sharma

Messages: 119
Registered: July 2009
Location: Bangalore, India

Senior Member

Hi,

Currently i am aware of process of defining the OCL constraints in EMF Model and using them for validation.

My questions:
1) Is there any way OCL constrains can be defined in some place other then EMF Model ? (Motivation is the developers does not want people to touch their emf model. quite personal to them Smile

)
2) MDT OCL, i think support only EMF and UML. What has to be done to implement it for some other MOF based metamodel ? Some guidance will be helpful
3) We have a situation where we convert this MOF based metamodel into EMF model dynamically. So, if i am able to define OCL constraints on MOF based metamodel, can i somehow re-use them EMF model ?

These questions might sound very abstract. Sorry for that, but i am just starting with OCL and this new business scenario. Smile

Regards,
Ashwani Kr Sharma

[Updated on: Thu, 06 January 2011 15:43]

Report message to a moderator

Re: [MDT-OCL] Defining OCL constraints [message #647516 is a reply to message #647482]

Thu, 06 January 2011 18:16

Ed Willink

Messages: 7655
Registered: July 2009

Senior Member

Hi

[Please use the OCL newsgroup for OCL queries.]

1) MDT/OCL supports Complete OCL (Clause 12 of the OMG specification)
which allows a complementary document for any meta-model. MDT/OCL 1.3.0
allows such documents to be parsed and evaluated programmatically
against Ecore or UML meta-models. MDT/OCL 3.0 Examples provides an
Xtext-based Complete OCL editor for Ecore meta-models that is useful but
far from perfect. Expect much better in MDT/OCL 3.1.0.

2) Work in progress is hiding the Ecore/UML distinctions through use of
a neutral Pivot Model. Other meta-modeling dialects can be supported by
alternate to/from Piovot model converters.

3) The pivot model support should be 100% OMG compliant so use of your
MOF constraints should be no problem.

[The pivot model will appear in the Indigo MDT/OCL 3.1.0 release as
Examples plugins that will be promoted to become the preferred API in
MDT/OCL 4.0 in Indigo+1.]

Regards

Ed Willink

On 06/01/2011 15:42, Ashwani Kr Sharma wrote:
> Hi,
>
> Currently i am aware of process of defining the OCL constraints in EMF
> Model and using them for validation.
>
> My questions:
> 1) Is there any way OCL constrains can be defined in some place other
> then EMF Model ? (Motivation is the developers does not want people to
> touch their emf model. quite personal to them :) )
> 2) MDT OCL, i think support only EMF and UML. What has to be done to
> implement it for some other MOF based metamodel ? Some guidance will
> be helpful
> 3) We have a situation where we convert this MOF based metamodel into
> EMF model dynamically. So, if i am able to define OCL constraints on
> MOF based metamodel, can i somehow re-use them EMF model ?
>
> These questions might some very abstract. Sorry for that, but i am
> just starting with OCL and this new business scenario. :)
>
> Regards,
> Ashwani Kr Sharma

Report message to a moderator

Previous Topic:	Using instances inside model from another model
Next Topic:	empty SCA model as an output file

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Thu Apr 25 05:59:05 GMT 2024

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter