Hi jan !
the tab Owned Rule just permit to store an ocl expression in a
constraint contained in an element (owned rule reference) there is no
default mechanism to check this constraint :/
you can also create a java plugin exploiting this information
for your ocl expression i don't see problems
[email protected] a écrit :
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Thanks for your answer. I would try it out if I knew how to check my
constraints. For explanation: I selected the newly created Stereotype
'Channel' and added the rules in the 'Owned Rules'-tab. So how can I
check in a model where my profile is applied that the constraints hold?
Another question: to make sure that the kind of my 'Channel'-stereotype
always is 'fork' I specified this constraint:
inv only_fork_kind_allowed: self.base_Pseudostate.kind =
PseudostateKind::fork
Is it right?
regards
Jan
[email protected] schrieb:
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 :
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
_______________________________________________
Topcased-users mailing list
[email protected]
http://lists.gforge.enseeiht.fr/mailman/listinfo/topcased-users
------------------------------------------------------------------------
_______________________________________________
Topcased-users mailing list
[email protected]
http://lists.gforge.enseeiht.fr/mailman/listinfo/topcased-users
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (MingW32)
iQEcBAEBAgAGBQJKHkTwAAoJEOqrWScjjJHJBycIAI7Jeh+D3Ooeu3VBwQAK9u8O
dutVUn20SqU2xYa1XOlRgP5ssvsOphaKg+Krg5U+EDtEGrXegAx2Sgr3g2C03v4U
lDFvfDoyABK/Py2F5usOZIh1rhCedxAxBNNnSlmrNu2cR2QgSD8sB3VLzp2AcoUS
RL7so2bG+ijsFWwCXOpoBzQsGDhVquY6nztd8d3byz8vWQIMJlWuXUoymDkYrKSl
SWllx1UOfHTJqxrUPxMtjT0KJngDp3BLm6o24uJ1zK0n/2Ai1jXv3k0ZcYPiMgws
KZ2zo6tRTReE0xm9sqcVppaXrmGFbnu7slV/ZBMU/8sXCoOUP1vwafo+JA+AADI=
=13dV
-----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
