Hi !
when you say extending is defining a stereotype extending a Class ?
I think you can define an ocl rule like this
context Pseudostate
inv test :
self.getAppliedStereotype('ProfileName::Channel') implies
self.outgoing.target->forAll (t |
t.isStereotypeApplied('ProfileName::Subscriber'))
don't forget to put qualified name of the stereotype
i hope this will helpful !
Regards
Tristan FAURE
[email protected] a écrit :
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Hello Mailinglist :)
Today I started playing around a little bit with TOPCASED and OCL. I
created a new profile with a stereotype extending PseudoState, named
Channel, and a stereotype extending State, named Subscriber. So I want
to add a constraint to the Channel-stereotype expressing that all
outgoing transitions have the stereotype Subscriber applied. Is it
possbile by this expression?:
inv only_Subscriber_comes_out :
self.base_Pseudostate.outgoing.target.isStereotypeApplied(Subscriber)
Or how do I provide the stereotype Subscriber in that expression? The
point is that I don't even know how to check this constraint in a model
where I applied my profile. Can you help me?
with best regards
Jan
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (MingW32)
iQEcBAEBAgAGBQJKHXxpAAoJEOqrWScjjJHJxSgH/jv41wZoMW+HyL4Q9Lh1R+fN
Qcbi7GFh6H8bhNT7bf9vUukrZiLHTqupqmbU5YJg9PNSaiRHDsVCWONB6ipg38Ia
+cGlZu/sy90m1lTJIRmw5GEbSksZ6vn+iD6MnPNWZTqxOuIIs4lq0jNXzAcTQ8Pv
3AxKzFIx2vm+j4HlFCSkzIzq52ZS5dXvce9rOiSWmFy8F3kIQUxCh6uzbG0ZV7du
fVX57ifPC72hg0mxJIdRpD9LsQ6HkrNUhQBM3goxh1qL3N2KfplLctbeGF+NFQ63
QwbyPoJuHpRrBpbt3b6GoEoW4bUH8f/pvr2tgsKit43s6KuwfzKJdcIbHTuAG8o=
=oSFT
-----END PGP SIGNATURE-----
_______________________________________________
Topcased-users mailing list
[email protected]
http://lists.gforge.enseeiht.fr/mailman/listinfo/topcased-users
begin:vcard
fn:Tristan FAURE
n:FAURE;Tristan
org:Atos Origin Integration
adr;dom:BP 43045;;6 impasse alice guy;Toulouse Cedex 03;;31024
email;internet:[email protected]
title;quoted-printable:Ing=C3=A9nieur Logiciel
tel;work:05 34 36 33 29
tel;fax:05 34 36 31 00
version:2.1
end:vcard
_______________________________________________
Topcased-users mailing list
[email protected]
http://lists.gforge.enseeiht.fr/mailman/listinfo/topcased-users
