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