<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta content="text/html;charset=ISO-8859-1" http-equiv="Content-Type">
<title></title>
</head>
<body bgcolor="#ffffff" text="#000000">
Great, it works ! <br>
I don't see any reference of the "attribute" method in the GME manual.
Maybe, it could be added.<br>
<br>
Anyway, thanks for your help !<br>
Christian<br>
<br>
<br>
Sandeep Neema wrote:
<blockquote
cite="mid7D60AA0613C6634FA23D37D758BD98C7664529@discovery.isis.vanderbilt.edu"
type="cite">
<meta http-equiv="Content-Type" content="text/html; ">
<meta name="Generator" content="Microsoft Word 11 (filtered)">
<style>
<!--
/* Font Definitions */
@font-face
{font-family:Tahoma;
panose-1:2 11 6 4 3 5 4 4 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
margin-bottom:.0001pt;
font-size:12.0pt;
font-family:"Times New Roman";
color:black;}
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";
color:black;}
p.MsoAutoSig, li.MsoAutoSig, div.MsoAutoSig
{margin:0in;
margin-bottom:.0001pt;
font-size:12.0pt;
font-family:"Times New Roman";}
pre
{margin:0in;
margin-bottom:.0001pt;
font-size:10.0pt;
font-family:"Courier New";
color:black;}
span.EmailStyle19
{font-family:Arial;
color:navy;}
@page Section1
{size:8.5in 11.0in;
margin:1.0in 77.95pt 1.0in 77.95pt;}
div.Section1
{page:Section1;}
-->
</style>
<div class="Section1">
<p class="MsoNormal"><font color="navy" face="Arial" size="2"><span
style="font-size: 10pt; font-family: Arial; color: navy;">Christian,</span></font></p>
<p class="MsoNormal"><font color="navy" face="Arial" size="2"><span
style="font-size: 10pt; font-family: Arial; color: navy;">How about
something like this:</span></font></p>
<p class="MsoNormal"><font color="navy" face="Arial" size="2"><span
style="font-size: 10pt; font-family: Arial; color: navy;"> </span></font></p>
<p class="MsoNormal"><font color="navy" face="Arial" size="2"><span
style="font-size: 10pt; font-family: Arial; color: navy;">
conn_ports->forAll( </span></font></p>
<p class="MsoNormal"><font color="navy" face="Arial" size="2"><span
style="font-size: 10pt; font-family: Arial; color: navy;">
cp : gme::FCO | </span></font></p>
<p class="MsoNormal"><font color="navy" face="Arial" size="2"><span
style="font-size: 10pt; font-family: Arial; color: navy;">
let cpSz = cp.attribute("maxSize").oclAsType(ocl::Integer)
in</span></font></p>
<p class="MsoNormal"><font color="navy" face="Arial" size="2"><span
style="font-size: 10pt; font-family: Arial; color: navy;">
cpSz = mySz )</span></font></p>
<p class="MsoNormal"><font color="navy" face="Arial" size="2"><span
style="font-size: 10pt; font-family: Arial; color: navy;"> </span></font></p>
<p class="MsoNormal"><font color="navy" face="Arial" size="2"><span
style="font-size: 10pt; font-family: Arial; color: navy;">This is a
snippet from a constraint in a
large meta-model. Please note that here ‘cp’ is not casted in
anyways - it is just treated as a gme::FCO, which is the base type of
all gme
objects, and calling the attribute method with a string argument on
that is legit.
Perhaps you could give this a try</span></font></p>
<p class="MsoNormal"><font color="navy" face="Arial" size="2"><span
style="font-size: 10pt; font-family: Arial; color: navy;"> </span></font></p>
<p class="MsoNormal"><font color="navy" face="Arial" size="2"><span
style="font-size: 10pt; font-family: Arial; color: navy;">Best wishes,</span></font></p>
<p class="MsoNormal"><font color="navy" face="Arial" size="2"><span
style="font-size: 10pt; font-family: Arial; color: navy;">Sandeep</span></font></p>
<p class="MsoNormal"><font color="navy" face="Arial" size="2"><span
style="font-size: 10pt; font-family: Arial; color: navy;"> </span></font></p>
<p class="MsoNormal"><font color="navy" face="Arial" size="2"><span
style="font-size: 10pt; font-family: Arial; color: navy;"> </span></font></p>
<div>
<p class="MsoAutoSig"><font color="navy" face="Arial" size="2"><span
style="font-size: 10pt; font-family: Arial; color: navy;">--</span></font></p>
<p class="MsoAutoSig"><font color="navy" face="Times New Roman"
size="3"><span style="font-size: 12pt; color: navy;">Sandeep Neema</span></font></p>
<p class="MsoAutoSig"><font color="navy" face="Times New Roman"
size="3"><span style="font-size: 12pt; color: navy;">Research
Scientist,</span></font></p>
<p class="MsoAutoSig"><font color="navy" face="Times New Roman"
size="3"><span style="font-size: 12pt; color: navy;">Institute</span></font><font
color="navy"><span style="color: navy;"> of Software</span></font><font
color="navy"><span style="color: navy;"> Integrated Systems,
Vanderbilt University</span></font></p>
<p class="MsoAutoSig"><font color="navy" face="Times New Roman"
size="3"><span style="font-size: 12pt; color: navy;">Phone:
615-343-9996</span></font></p>
<p class="MsoAutoSig"><font color="navy" face="Times New Roman"
size="3"><span style="font-size: 12pt; color: navy;">Email: <a
href="mailto:sandeep.k.neema@vanderbilt.edu">sandeep.k.neema@vanderbilt.edu</a></span></font></p>
</div>
<div
style="border-style: none none none solid; border-color: -moz-use-text-color -moz-use-text-color -moz-use-text-color blue; border-width: medium medium medium 1.5pt; padding: 0in 0in 0in 4pt;">
<div>
<div class="MsoNormal" style="text-align: center;" align="center"><font
color="black" face="Times New Roman" size="3"><span
style="font-size: 12pt; color: windowtext;">
<hr tabindex="-1" align="center" size="2" width="100%"></span></font></div>
<p class="MsoNormal"><b><font color="black" face="Tahoma" size="2"><span
style="font-size: 10pt; font-family: Tahoma; color: windowtext; font-weight: bold;">From:</span></font></b><font
color="black" face="Tahoma" size="2"><span
style="font-size: 10pt; font-family: Tahoma; color: windowtext;">
Christian Brunette [<a class="moz-txt-link-freetext" href="mailto:Christian.Brunette@irisa.fr">mailto:Christian.Brunette@irisa.fr</a>] <br>
<b><span style="font-weight: bold;">Sent:</span></b> Friday, March
18, 2005 10:28
AM<br>
<b><span style="font-weight: bold;">To:</span></b> gme-users<br>
<b><span style="font-weight: bold;">Subject:</span></b> Re:
[gme-users] Problem with OCL</span></font></p>
</div>
<p class="MsoNormal"><font color="black" face="Times New Roman"
size="3"><span style="font-size: 12pt;"> </span></font></p>
<p class="MsoNormal"><font color="black" face="Times New Roman"
size="3"><span style="font-size: 12pt;">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: </span></font></p>
<p class="MsoPlainText"><font color="black" face="Courier New"
size="2"><span style="font-size: 10pt;"><u1:SmartTagType
namespaceuri="urn:schemas-microsoft-com:office:smarttags"
name="PostalCode"><u1:SmartTagType
namespaceuri="urn:schemas-microsoft-com:office:smarttags" name="City"><u1:SmartTagType
namespaceuri="urn:schemas-microsoft-com:office:smarttags" name="place"><u1:SmartTagType
namespaceuri="urn:schemas-microsoft-com:office:smarttags"
name="PersonName"></u1:SmartTagType></u1:SmartTagType></u1:SmartTagType></u1:SmartTagType>Here's
what I think you are describing:<u1:p></u1:p></span></font></p>
<p class="MsoPlainText"><font color="black" face="Courier New"
size="2"><span style="font-size: 10pt;"><u1:p> </u1:p></span></font></p>
<p class="MsoPlainText"><font color="black" face="Courier New"
size="2"><span style="font-size: 10pt;"><img
src="cid:part1.04070102.08040006@irisa.fr" border="0" height="316"
width="380"><br>
<br>
<br>
</span></font></p>
<u1:p></u1:p>
<p class="MsoPlainText"><font color="black" face="Courier New"
size="2"><span style="font-size: 10pt;"><img
src="cid:part2.07060506.06040109@irisa.fr" border="0" height="442"
width="614"></span></font></p>
<u1:p></u1:p>
<p class="MsoPlainText"><font color="black" face="Courier New"
size="2"><span style="font-size: 10pt;"><u1:p> </u1:p></span></font></p>
<p class="MsoPlainText"><font color="black" 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?<u1:p></u1:p></span></font></p>
<p class="MsoPlainText"><font color="black" face="Courier New"
size="2"><span style="font-size: 10pt;"><u1:p> </u1:p></span></font></p>
<p class="MsoPlainText"><font color="black" face="Courier New"
size="2"><span style="font-size: 10pt;"><img
src="cid:part3.00010703.05070501@irisa.fr" border="0" height="420"
width="614"></span></font></p>
<u1:p></u1:p>
<p class="MsoPlainText"><font color="black" face="Courier New"
size="2"><span style="font-size: 10pt;"><u1:p> </u1:p></span></font></p>
<p class="MsoPlainText"><font color="black" face="Courier New"
size="2"><span style="font-size: 10pt;">Can you perform a similar
relocation of your
constraint?<u1:p></u1:p></span></font></p>
<p class="MsoPlainText"><font color="black" face="Courier New"
size="2"><span style="font-size: 10pt;"><u1:p> </u1:p></span></font></p>
<p class="MsoPlainText"><font color="black" face="Courier New"
size="2"><span style="font-size: 10pt;">--Matt<u1:p></u1:p></span></font></p>
<p class="MsoPlainText"><font color="black" face="Courier New"
size="2"><span style="font-size: 10pt;"><u1:p> </u1:p></span></font></p>
<p class="MsoPlainText"><font color="black" face="Courier New"
size="2"><span style="font-size: 10pt;">> -----Original Message-----</span></font></p>
<p class="MsoPlainText"><font color="black" face="Courier New"
size="2"><span style="font-size: 10pt;">> From: Larry H.</span></font></p>
<p class="MsoPlainText"><font color="black" 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 color="black" face="Courier New"
size="2"><span style="font-size: 10pt;">> To: <a
href="mailto:Christian.Brunette@irisa.fr">Christian.Brunette@irisa.fr</a>;
fixes.'@list.isis.vanderbilt.edu; " <gme-</span></font></p>
<p class="MsoPlainText"><font color="black" face="Courier New"
size="2"><span style="font-size: 10pt;">> <a
href="mailto:users@list.isis.vanderbilt.edu">users@list.isis.vanderbilt.edu</a>>"@list.isis.vanderbilt.edu</span></font></p>
<p class="MsoPlainText"><font color="black" face="Courier New"
size="2"><span style="font-size: 10pt;">> Subject: RE: [<st1:PersonName
u2:st="on">gme-users</st1:PersonName>] Problem with OCL</span></font></p>
<p class="MsoPlainText"><font color="black" face="Courier New"
size="2"><span style="font-size: 10pt;">> </span></font></p>
<p class="MsoPlainText"><font color="black" 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 color="black" face="Courier New"
size="2"><span style="font-size: 10pt;">> </span></font></p>
<p class="MsoPlainText"><font color="black" 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 color="black" 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 color="black" 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 color="black" 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 color="black" 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 color="black" face="Courier New"
size="2"><span style="font-size: 10pt;">> generation process.)</span></font></p>
<p class="MsoPlainText"><font color="black" face="Courier New"
size="2"><span style="font-size: 10pt;">> </span></font></p>
<p class="MsoPlainText"><font color="black" 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 color="black" 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 color="black" 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 color="black" 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 color="black" 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 color="black" face="Courier New"
size="2"><span style="font-size: 10pt;">> </span></font></p>
<p class="MsoPlainText"><font color="black" face="Courier New"
size="2"><span style="font-size: 10pt;">> -----Original Message-----</span></font></p>
<p class="MsoPlainText"><font color="black" face="Courier New"
size="2"><span style="font-size: 10pt;">> From: <st1:PersonName
u2:st="on">gme-users</st1:PersonName>-bounces@list.isis.vanderbilt.edu</span></font></p>
<p class="MsoPlainText"><font color="black" face="Courier New"
size="2"><span style="font-size: 10pt;">> [mailto:<st1:PersonName
u2:st="on">gme-users</st1:PersonName>-bounces@list.isis.vanderbilt.edu]
On Behalf Of</span></font></p>
<p class="MsoPlainText"><font color="black" face="Courier New"
size="2"><span style="font-size: 10pt;">> Christian Brunette</span></font></p>
<p class="MsoPlainText"><font color="black" 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 color="black" face="Courier New"
size="2"><span style="font-size: 10pt;">> To: GME users</span></font></p>
<p class="MsoPlainText"><font color="black" face="Courier New"
size="2"><span style="font-size: 10pt;">> Subject: [<st1:PersonName
u2:st="on">gme-users</st1:PersonName>] Problem with OCL</span></font></p>
<p class="MsoPlainText"><font color="black" face="Courier New"
size="2"><span style="font-size: 10pt;">> </span></font></p>
<p class="MsoPlainText"><font color="black" face="Courier New"
size="2"><span style="font-size: 10pt;">> </span></font></p>
<p class="MsoPlainText"><font color="black" face="Courier New"
size="2"><span style="font-size: 10pt;">> Hello,</span></font></p>
<p class="MsoPlainText"><font color="black" face="Courier New"
size="2"><span style="font-size: 10pt;">> </span></font></p>
<p class="MsoPlainText"><font color="black" 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 color="black" 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 color="black" 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 color="black" 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 color="black" 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 color="black" 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 color="black" 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 color="black" 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 color="black" face="Courier New"
size="2"><span style="font-size: 10pt;">> </span></font></p>
<p class="MsoPlainText"><font color="black" face="Courier New"
size="2"><span style="font-size: 10pt;">> Sincerely,</span></font></p>
<p class="MsoPlainText"><font color="black" face="Courier New"
size="2"><span style="font-size: 10pt;">> Christian</span></font></p>
<p class="MsoPlainText"><font color="black" face="Courier New"
size="2"><span style="font-size: 10pt;">> </span></font></p>
<p class="MsoPlainText"><font color="black" face="Courier New"
size="2"><span style="font-size: 10pt;">> --</span></font></p>
<p class="MsoPlainText"><font color="black" face="Courier New"
size="2"><span style="font-size: 10pt;">> Christian Brunette</span></font></p>
<p class="MsoPlainText"><font color="black" face="Courier New"
size="2"><span style="font-size: 10pt;">> Post-doctorant in the
ESPRESSO team</span></font></p>
<p class="MsoPlainText"><font color="black" face="Courier New"
size="2"><span style="font-size: 10pt;">> IRISA-INRIA, Campus <st1:City
u2:st="on">de Beaulieu </st1:City>, <st1:PostalCode u2:st="on">35042</st1:PostalCode>
<st1:City u2:st="on"><st1:place u2:st="on">Rennes</st1:place></st1:City>
cedex, France</span></font></p>
<p class="MsoPlainText"><font color="black" 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 color="black" face="Courier New"
size="2"><span style="font-size: 10pt;">> </span></font></p>
<p class="MsoPlainText"><font color="black" face="Courier New"
size="2"><span style="font-size: 10pt;">>
_______________________________________________</span></font></p>
<p class="MsoPlainText"><font color="black" face="Courier New"
size="2"><span style="font-size: 10pt;">> <st1:PersonName
u2:st="on">gme-users</st1:PersonName>
mailing list</span></font></p>
<p class="MsoPlainText"><font color="black" face="Courier New"
size="2"><span style="font-size: 10pt;">> <st1:PersonName
u2:st="on">gme-users</st1:PersonName>@list.isis.vanderbilt.edu</span></font></p>
<p class="MsoPlainText"><font color="black" face="Courier New"
size="2"><span style="font-size: 10pt;">> <a
href="http://list.isis.vanderbilt.edu/mailman/listinfo/">http://list.isis.vanderbilt.edu/mailman/listinfo/</a><st1:PersonName
u2:st="on">gme-users</st1:PersonName></span></font></p>
<p class="MsoPlainText"><font color="black" face="Courier New"
size="2"><span style="font-size: 10pt;">> </span></font></p>
<p class="MsoPlainText"><font color="black" face="Courier New"
size="2"><span style="font-size: 10pt;">>
_______________________________________________</span></font></p>
<p class="MsoPlainText"><font color="black" face="Courier New"
size="2"><span style="font-size: 10pt;">> <st1:PersonName
u2:st="on">gme-users</st1:PersonName>
mailing list</span></font></p>
<p class="MsoPlainText"><font color="black" face="Courier New"
size="2"><span style="font-size: 10pt;">> <st1:PersonName
u2:st="on">gme-users</st1:PersonName>@list.isis.vanderbilt.edu</span></font></p>
<p class="MsoPlainText"><font color="black" face="Courier New"
size="2"><span style="font-size: 10pt;">> <a
href="http://list.isis.vanderbilt.edu/mailman/listinfo/">http://list.isis.vanderbilt.edu/mailman/listinfo/</a><st1:PersonName
u2:st="on">gme-users</st1:PersonName></span></font></p>
<pre wrap=""><font color="black" face="Courier New" size="2"><span
style="font-size: 10pt;"> </span></font></pre>
<pre style="text-align: center;"><font color="black"
face="Courier New" size="2"><span style="font-size: 10pt;">
<hr align="center" size="4" width="90%">
</span></font></pre>
<pre><font color="black" face="Courier New" size="2"><span
style="font-size: 10pt;"> </span></font></pre>
<pre><font color="black" face="Courier New" size="2"><span
style="font-size: 10pt;">_______________________________________________</span></font></pre>
<pre><font color="black" face="Courier New" size="2"><span
style="font-size: 10pt;">gme-users</span></font> mailing list</pre>
<pre><font color="black" face="Courier New" size="2"><span
style="font-size: 10pt;"><a
href="mailto:gme-users@list.isis.vanderbilt.edu">gme-users@list.isis.vanderbilt.edu</a></span></font></pre>
<pre><font color="black" face="Courier New" size="2"><span
style="font-size: 10pt;"><a
href="http://list.isis.vanderbilt.edu/mailman/listinfo/gme-users">http://list.isis.vanderbilt.edu/mailman/listinfo/gme-users</a></span></font></pre>
<pre><font color="black" face="Courier New" size="2"><span
style="font-size: 10pt;"> </span></font></pre>
<p class="MsoNormal"><font color="black" face="Times New Roman"
size="3"><span style="font-size: 12pt;"><br>
<br>
<br>
</span></font></p>
<pre><font color="black" face="Courier New" size="2"><span
style="font-size: 10pt;">-- </span></font></pre>
<pre><font color="black" face="Courier New" size="2"><span
style="font-size: 10pt;">Christian Brunette</span></font></pre>
<pre><font color="black" face="Courier New" size="2"><span
style="font-size: 10pt;">Post-doctorant in the ESPRESSO team</span></font></pre>
<pre><font color="black" face="Courier New" size="2"><span
style="font-size: 10pt;">IRISA-INRIA, Campus de Beaulieu, 35042 Rennes cedex, France</span></font></pre>
<pre><font color="black" 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></pre>
</div>
</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>