Ok thanks for your reply. Then I have another question. Is it possible to deliver OCL-constraints with a profile which simply can be evaluated? I mean TOPCASED is able to check OCL-constraints as I over-read a document from the webpage. But there wasn't said anything about profiles. How do you guys do this?
On Thu, May 28, 2009 at 6:44 PM, <[email protected]>wrote: > 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 >> >> >> >> > > _______________________________________________ > 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
