<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta content="text/html;charset=ISO-8859-1" http-equiv="Content-Type">
</head>
<body bgcolor="#ffffff" text="#000000">
What I want to check in the constraint is that the attributes of the
two connected FCO are equal. So, I have to access to the attribute of
the two connected FCOs in the same constraint.<br>
If I put the constraint on the abstract FCO and not on the Connection,
I think that I can only access to the attribute of the "src" or "dst"
FCO, not both. Am I right ?<br>
<br>
Christian<br>
<br>
Matthew J. Emerson wrote:
<blockquote
cite="mid7D60AA0613C6634FA23D37D758BD98C7664509@discovery.isis.vanderbilt.edu"
type="cite">
<meta http-equiv="Content-Type" content="text/html; ">
<meta name="Generator" content="Microsoft Word 11 (filtered medium)">
<!--[if !mso]>
<style>
v\:* {behavior:url(#default#VML);}
o\:* {behavior:url(#default#VML);}
w\:* {behavior:url(#default#VML);}
.shape {behavior:url(#default#VML);}
</style>
<![endif]--><o:SmartTagType
namespaceuri="urn:schemas-microsoft-com:office:smarttags"
name="PostalCode">
<o:SmartTagType
namespaceuri="urn:schemas-microsoft-com:office:smarttags" name="City"><o:SmartTagType
namespaceuri="urn:schemas-microsoft-com:office:smarttags" name="place">
<o:SmartTagType
namespaceuri="urn:schemas-microsoft-com:office:smarttags"
name="PersonName"><!--[if !mso]>
<style>
st1\:*{behavior:url(#default#ieooui) }
</style>
<![endif]-->
<style>
<!--
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
margin-bottom:.0001pt;
font-size:12.0pt;
font-family:"Times New Roman";}
a:link, span.MsoHyperlink
{color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{color:purple;
text-decoration:underline;}
p.MsoPlainText, li.MsoPlainText, div.MsoPlainText
{margin:0in;
margin-bottom:.0001pt;
font-size:10.0pt;
font-family:"Courier New";}
@page Section1
{size:8.5in 11.0in;
margin:1.0in 77.95pt 1.0in 77.95pt;}
div.Section1
{page:Section1;}
-->
</style></o:SmartTagType></o:SmartTagType></o:SmartTagType></o:SmartTagType>
<div class="Section1">
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;">Here's what I think you are describing:<o:p></o:p></span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;"><o:p> </o:p></span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;"><img id="_x0000_i1028"
src="cid:part1.04050206.05080301@irisa.fr" height="316" width="380"><br>
<br>
<o:p></o:p></span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;"><img id="_x0000_i1029"
src="cid:part2.04050608.08040406@irisa.fr" height="442" width="614"><o:p></o:p></span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;"><o:p> </o:p></span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;">You’re right, that definitely throws a
constraint. But what about
this, which is functionally equivalent?<o:p></o:p></span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;"><o:p> </o:p></span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;"><img id="_x0000_i1032"
src="cid:part3.03060307.06070007@irisa.fr" height="420" width="614"><o:p></o:p></span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;"><o:p> </o:p></span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;">Can you perform a similar relocation of your
constraint?<o:p></o:p></span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;"><o:p> </o:p></span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;">--Matt<o:p></o:p></span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;"><o:p> </o:p></span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;">> -----Original Message-----</span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;">> From: Larry H.</span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;">> Sent: Friday, March 18, 2005 9:21 AM</span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;">> To: <a class="moz-txt-link-abbreviated" href="mailto:Christian.Brunette@irisa.fr">Christian.Brunette@irisa.fr</a>;
fixes.'@list.isis.vanderbilt.edu;
" <gme-</span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;">>
<a class="moz-txt-link-abbreviated" href="mailto:users@list.isis.vanderbilt.edu">users@list.isis.vanderbilt.edu</a>>"@list.isis.vanderbilt.edu</span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;">> Subject: RE: [<st1:PersonName w:st="on">gme-users</st1:PersonName>]
Problem with OCL</span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;">> </span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;">> Let me take an initial pass at this.</span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;">> </span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;">> First, my understanding is that
constraints are defined on the
paradigm</span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;">> as generated, not as modeled. Abstract
FCOs are part of the
paradigm</span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;">> definition (meta-model) and do not exist
in the generated
paradigm.</span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;">> Therefore, it is not possible for a
valid constraint to refer to
them.</span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;">> (Someone else should comment on
constraint validation in the
paradigm</span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;">> generation process.)</span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;">> </span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;">> That said, the result is less power in
constraint definition,
since the</span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;">> constraints need to be defined on the
concrete FCOs. I must
also leave</span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;">> it to others to say what intentions
there might be for
meta-modeling</span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;">> refinements that could address this
situation, or to correct any</span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;">> misunderstanding on my part reflected in
this response.</span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;">> </span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;">> -----Original Message-----</span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;">> From: <st1:PersonName w:st="on">gme-users</st1:PersonName>-bounces@list.isis.vanderbilt.edu</span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;">> [mailto:<st1:PersonName w:st="on">gme-users</st1:PersonName>-bounces@list.isis.vanderbilt.edu]
On Behalf Of</span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;">> Christian Brunette</span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;">> Sent: Friday, March 18, 2005 2:55 AM</span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;">> To: GME users</span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;">> Subject: [<st1:PersonName w:st="on">gme-users</st1:PersonName>]
Problem with OCL</span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;">> </span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;">> </span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;">> Hello,</span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;">> </span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;">> I'm a new user of GME. I have a problem
with OCL and I don't know
if it</span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;">> is a bug or a feature not yet
implemented or a constraint in OCL.
I have</span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;">> define several FCOs which inherit from
an abstract FCO in which</span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;">> some attributes are defined. I add a
connection whose source and</span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;">> destination are this abstract FCO. I
would add a constraint on
this</span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;">> connection. But I need to access to the
attributes of the
connected</span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;">> FCOs, so I need to cast them. But the
constraint checker said me
that I</span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;">> can't cast because the FCO is abstract.
Is it a bug ??</span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;">> </span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;">> Sincerely,</span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;">> Christian</span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;">> </span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;">> --</span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;">> Christian Brunette</span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;">> Post-doctorant in the ESPRESSO team</span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;">> IRISA-INRIA, Campus <st1:City w:st="on">de
Beaulieu</st1:City>, <st1:PostalCode w:st="on">35042</st1:PostalCode> <st1:City
w:st="on"><st1:place w:st="on">Rennes</st1:place></st1:City>
cedex, France</span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;">> Phone: +33 (0) 2 99 84 72 31, Fax: +33
(0) 2 99 84 71 71</span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;">> </span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;">>
_______________________________________________</span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;">> <st1:PersonName w:st="on">gme-users</st1:PersonName>
mailing list</span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;">> <st1:PersonName w:st="on">gme-users</st1:PersonName>@list.isis.vanderbilt.edu</span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;">>
<a class="moz-txt-link-freetext" href="http://list.isis.vanderbilt.edu/mailman/listinfo/">http://list.isis.vanderbilt.edu/mailman/listinfo/</a><st1:PersonName
w:st="on">gme-users</st1:PersonName></span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;">> </span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;">>
_______________________________________________</span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;">> <st1:PersonName w:st="on">gme-users</st1:PersonName>
mailing list</span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;">> <st1:PersonName w:st="on">gme-users</st1:PersonName>@list.isis.vanderbilt.edu</span></font></p>
<p class="MsoPlainText"><font face="Courier New" size="2"><span
style="font-size: 10pt;">>
<a class="moz-txt-link-freetext" href="http://list.isis.vanderbilt.edu/mailman/listinfo/">http://list.isis.vanderbilt.edu/mailman/listinfo/</a><st1:PersonName
w:st="on">gme-users</st1:PersonName></span></font></p>
</div>
<pre wrap="">
<hr size="4" width="90%">
_______________________________________________
gme-users mailing list
<a class="moz-txt-link-abbreviated" href="mailto:gme-users@list.isis.vanderbilt.edu">gme-users@list.isis.vanderbilt.edu</a>
<a class="moz-txt-link-freetext" href="http://list.isis.vanderbilt.edu/mailman/listinfo/gme-users">http://list.isis.vanderbilt.edu/mailman/listinfo/gme-users</a>
</pre>
</blockquote>
<br>
<br>
<pre class="moz-signature" cols="72">--
Christian Brunette
Post-doctorant in the ESPRESSO team
IRISA-INRIA, Campus de Beaulieu, 35042 Rennes cedex, France
Phone: +33 (0) 2 99 84 72 31, Fax: +33 (0) 2 99 84 71 71
</pre>
</body>
</html>