-----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
