Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Modeling » OCL » Model validation, beginner question
Model validation, beginner question [message #70732] Wed, 13 May 2009 08:16 Go to next message
Hilaire  is currently offline Hilaire
Messages: 20
Registered: July 2009
Junior Member
Hi all,


i'am wondering if it is possible to use OCL constraints, on UML2 or ecore
models for example, in order to validate models directly from the UML2
tools editor or sample ecore editor (and if possible how to do it) ?


Thanks


Vincent
Re: Model validation, beginner question [message #70809 is a reply to message #70732] Thu, 14 May 2009 09:09 Go to previous messageGo to next message
Christian W. Damus is currently offline Christian W. Damus
Messages: 768
Registered: July 2009
Senior Member
--=-SopnXSTISle9Zy7+Clvs
Content-Type: text/plain
Content-Transfer-Encoding: 7bit

Hi, Vincent,

Have a look at these articles:

http://www.eclipse.org/articles/Article-EMF-Codegen-with-OCL /article.html

http://wiki.eclipse.org/MDT_1.0_New_and_Noteworthy#OCL_Integ ration

and these enhancement requests:

http://bugs.eclipse.org/216701

http://bugs.eclipse.org/255786

HTH,

Christian

On Wed, 2009-05-13 at 12:16 +0000, Hilaire wrote:

> Hi all,
>
>
> i'am wondering if it is possible to use OCL constraints, on UML2 or ecore
> models for example, in order to validate models directly from the UML2
> tools editor or sample ecore editor (and if possible how to do it) ?
>
>
> Thanks
>
>
> Vincent
>

--=-SopnXSTISle9Zy7+Clvs
Content-Type: text/html; charset="utf-8"

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 TRANSITIONAL//EN">
<HTML>
<HEAD>
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; CHARSET=UTF-8">
<META NAME="GENERATOR" CONTENT="GtkHTML/3.24.1.1">
</HEAD>
<BODY>
Hi, Vincent,<BR>
<BR>
Have a look at these articles:<BR>
<BR>
<A HREF=" http://www.eclipse.org/articles/Article-EMF-Codegen-with-OCL /article.html"> http://www.eclipse.org/articles/Article-EMF-Codegen-with-OCL /article.html</A><BR>
<BR>
<A HREF=" http://wiki.eclipse.org/MDT_1.0_New_and_Noteworthy#OCL_Integ ration"> http://wiki.eclipse.org/MDT_1.0_New_and_Noteworthy#OCL_Integ ration</A><BR>
<BR>
and these enhancement requests:<BR>
<BR>
<A HREF="https://bugs.eclipse.org/bugs/show_bug.cgi?id=216701">http://bugs.eclipse.org/216701</A><BR>
<BR>
<A HREF="https://bugs.eclipse.org/bugs/show_bug.cgi?id=255786">http://bugs.eclipse.org/255786</A><BR>
<BR>
HTH,<BR>
<BR>
Christian<BR>
<BR>
On Wed, 2009-05-13 at 12:16 +0000, Hilaire wrote:
<BLOCKQUOTE TYPE=CITE>
<PRE>
Hi all,


i'am wondering if it is possible to use OCL constraints, on UML2 or ecore
models for example, in order to validate models directly from the UML2
tools editor or sample ecore editor (and if possible how to do it) ?


Thanks


Vincent

</PRE>
</BLOCKQUOTE>
</BODY>
</HTML>

--=-SopnXSTISle9Zy7+Clvs--
Re: Model validation, beginner question [message #70827 is a reply to message #70809] Fri, 15 May 2009 09:19 Go to previous messageGo to next message
Hilaire  is currently offline Hilaire
Messages: 20
Registered: July 2009
Junior Member
Hi all,


The proposed solution, if i understood correctly, enables to generate code
that will validate models. What i had in mind is validation directly
through the ecore or UML2 editors like a code syntax checker indicates
errors during source code typing.


Vincent
Re: Model validation, beginner question [message #70897 is a reply to message #70827] Tue, 19 May 2009 12:44 Go to previous message
Christian W. Damus is currently offline Christian W. Damus
Messages: 768
Registered: July 2009
Senior Member
--=-2M+xEk3utMufb8K8ba2h
Content-Type: text/plain
Content-Transfer-Encoding: 7bit

Hi, Vincent,

Do you mean that you are looking to check constraints defined in your
Ecore/UML models for well-formedness of the OCL? That will depend on
the particular editor's integration with OCL. It's best to ask in the
UML2 newsgroup about whether the UML2 codegen extensions for OCL include
such validation. Ecore code generation doesn't provide OCL integration
out'of'the'box, so there's really nothing to ask, there.

HTH,

Christian

On Fri, 2009-05-15 at 13:19 +0000, Hilaire wrote:

> Hi all,
>
>
> The proposed solution, if i understood correctly, enables to generate code
> that will validate models. What i had in mind is validation directly
> through the ecore or UML2 editors like a code syntax checker indicates
> errors during source code typing.
>
>
> Vincent
>
>
>
>

--=-2M+xEk3utMufb8K8ba2h
Content-Type: text/html; charset="utf-8"

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 TRANSITIONAL//EN">
<HTML>
<HEAD>
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; CHARSET=UTF-8">
<META NAME="GENERATOR" CONTENT="GtkHTML/3.24.1.1">
</HEAD>
<BODY>
Hi, Vincent,<BR>
<BR>
Do you mean that you are looking to check constraints defined in your Ecore/UML models for well-formedness of the OCL?&nbsp; That will depend on the particular editor's integration with OCL.&nbsp; It's best to ask in the UML2 newsgroup about whether the UML2 codegen extensions for OCL include such validation.&nbsp; Ecore code generation doesn't provide OCL integration out'of'the'box, so there's really nothing to ask, there.<BR>
<BR>
HTH,<BR>
<BR>
Christian<BR>
<BR>
On Fri, 2009-05-15 at 13:19 +0000, Hilaire wrote:
<BLOCKQUOTE TYPE=CITE>
<PRE>
Hi all,


The proposed solution, if i understood correctly, enables to generate code
that will validate models. What i had in mind is validation directly
through the ecore or UML2 editors like a code syntax checker indicates
errors during source code typing.


Vincent




</PRE>
</BLOCKQUOTE>
</BODY>
</HTML>

--=-2M+xEk3utMufb8K8ba2h--
Previous Topic:Getting all instances from multiple resources
Next Topic:Availability of MDT OCL 1.3M7
Goto Forum:
  


Current Time: Thu Jul 31 15:55:41 EDT 2014

Powered by FUDForum. Page generated in 0.11073 seconds