Home » Modeling » OCL » Model validation, beginner question
| Model validation, beginner question [message #70732] |
Wed, 13 May 2009 08:16  |
Eclipse User |
|
|
|
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  |
| Eclipse User |
|
|
|
--=-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 #70897 is a reply to message #70827] |
Tue, 19 May 2009 12:44 |
| Eclipse User |
|
|
|
--=-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? 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.<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--
|
|
|
Goto Forum:
Current Time: Sat May 10 09:46:44 EDT 2025
Powered by FUDForum. Page generated in 0.04430 seconds |
Home