Hi Pieter, I now understand what you want to do. Unfortunately, I confirm you that the current OCL Checker doesn't work like that. The Topcased OCL Checker is based on metamodels and not on models. This point is not plan in the future developments concerning the Topcased OCL Tools. Sorry.
Regards, Sebastien Pieter Martin a écrit : > Hi Thomas, > > Your OCL references the meta model. I am trying to reference the model > rather than the meta model in the OCL expressions. > > So rather than having > > "context Class" > > I would like to have > > "context Dog" > > Unless of-course I am missing the point somewhere. > > Thanks > Pieter > > > > On Mon, Jan 12, 2009 at 9:15 PM, Thomas Winkler > <thomas.winkle...@gmx.de <mailto:thomas.winkle...@gmx.de>> wrote: > > Hi Pieter, > > The Topcased OCL checking works nicely with UML models. > Although I have some difficulties to launch Topcased OCL > programmatically :-) > > I attached two snaps showing how to perform an OCL check with > Topcased. > > My UML model is an UML Activity diagram and it contains > RaiseExceptionAction which have incoming control flows. > > Thus my OCL constrains must evaluate to false since there are > incoming edges (see ocl-1.jpg). > > TopCased OCL checks it correctly (see ocl-2.jpg). > > > Regards, > > > Thomas. > > -------- Original-Nachricht -------- > > Datum: Mon, 12 Jan 2009 20:09:58 +0200 > > Von: "Pieter Martin" <pieter.mar...@gmail.com > <mailto:pieter.mar...@gmail.com>> > > An: topcased-users@lists.gforge.enseeiht.fr > <mailto:topcased-users@lists.gforge.enseeiht.fr> > > Betreff: Re: [Topcased-users] OCL on UML models > > > Hi, > > > > I have tried your suggestion with no luck I'm afraid. > > > > I created a simple "UML Model with TOPCASED" > > > > I added a class "Plane" with a single property "seats" of type > Integer. > > > > I then create the ocl rule file with the following text > > > > MainModel : http://www.eclipse.org/uml2/2.1.0/UML > > context Plane::seats > > init: 0 > > > > The ocl editor shows an error about the context Plane saying > that it is > > not > > found in package uml. This is sort of expected as it currently > has no > > knowledge of my model. > > > > I then apply the ocl rule file to my model as you indicated. > > > > The screen with Global Resuts open up showing "1 file read, 0 rule > > evaluated, 0 rule failed" > > > > I have tried other ocl expressions with the same non result. > > > > Thanks for your responses. > > > > Regards > > Pieter > > > > > > On Mon, Jan 12, 2009 at 4:44 PM, Sébastien GABEL > > <sebastien.ga...@c-s.fr <mailto:sebastien.ga...@c-s.fr>>wrote: > > > > > Hi, > > > > > > See the attached screenshot. > > > Then, a dialog box will open and you will select manually your > OCL rule > > > file browsing your workspace. > > > > > > Regards > > > > > > Sébastien > > > > > > Pieter Martin a écrit : > > > > > >> Hi, > > >> > > >> What do you mean by "Apply the previous OCL rule file on your UML > > models". > > >> > > >> I have created the OCL rule file with the URI i.e : > > >> http://www.eclipse.org/2.1.0/UML. > > >> > > >> But then how do I make it aware of my own UML model? > > >> > > >> Thanks > > >> Pieter > > >> > > >> On Mon, Jan 12, 2009 at 11:51 AM, Sébastien GABEL > > <sebastien.ga...@c-s.fr <mailto:sebastien.ga...@c-s.fr><mailto: > > >> sebastien.ga...@c-s.fr <mailto:sebastien.ga...@c-s.fr>>> wrote: > > >> > > >> Hi Pieter, > > >> > > >> Tell me if I'm wrong but it's already the case ! > > >> I don't know which Topcased version you are using but > follow these > > >> steps : > > >> 1) Create an OCL rule file using the wizard and selecting the > > >> appropriate URI i.e : http://www.eclipse.org/2.1.0/UML > > >> 2) Apply the previous OCL rule file on your UML models. > > >> > > >> Does it answer your question ? > > >> > > >> Regards, > > >> > > >> Sébastien > > >> > > >> Pieter Martin a écrit : > > >> > Hi, > > >> > > > >> > I see that currently the OCL editor only works on meta > models or > > >> ecore > > >> > models. > > >> > > > >> > Can we expect the OCL editor to work on UML models? > > >> > > > >> > This would be great. > > >> > > > >> > Thanks > > >> > Pieter > > >> > > > >> > > >> > > > ------------------------------------------------------------------------ > > >> > > > >> > _______________________________________________ > > >> > Topcased-users mailing list > > >> > Topcased-users@lists.gforge.enseeiht.fr > <mailto:Topcased-users@lists.gforge.enseeiht.fr> > > >> <mailto:Topcased-users@lists.gforge.enseeiht.fr > <mailto:Topcased-users@lists.gforge.enseeiht.fr>> > > >> > > http://lists.gforge.enseeiht.fr/mailman/listinfo/topcased-users > > >> > > >> > > >> -- > > >> Sébastien GABEL > > >> MDA/MDE Engineer > > >> Département SI Aéronautique & Industrie > > >> Communication & Systèmes > > >> ZAC de la Grande Plaine. Rue Brindejonc de Moulinais > > >> F-31506 Toulouse Cedex 5 > > >> +33 (0)5.61.39.46.16 > > >> > > >> > > >> > > >> _______________________________________________ > > >> Topcased-users mailing list > > >> Topcased-users@lists.gforge.enseeiht.fr > <mailto:Topcased-users@lists.gforge.enseeiht.fr> > > >> <mailto:Topcased-users@lists.gforge.enseeiht.fr > <mailto:Topcased-users@lists.gforge.enseeiht.fr>> > > >> > http://lists.gforge.enseeiht.fr/mailman/listinfo/topcased-users > > >> > > >> > > >> > > > ------------------------------------------------------------------------ > > >> > > >> _______________________________________________ > > >> Topcased-users mailing list > > >> Topcased-users@lists.gforge.enseeiht.fr > <mailto:Topcased-users@lists.gforge.enseeiht.fr> > > >> http://lists.gforge.enseeiht.fr/mailman/listinfo/topcased-users > > >> > > > > > > > > > -- > > > Sébastien GABEL > > > MDA/MDE Engineer > > > Département SI Aéronautique & Industrie > > > Communication & Systèmes > > > ZAC de la Grande Plaine. Rue Brindejonc de Moulinais > > > F-31506 Toulouse Cedex 5 > > > +33 (0)5.61.39.46.16 > > > > > > > > > > > > _______________________________________________ > > > Topcased-users mailing list > > > Topcased-users@lists.gforge.enseeiht.fr > <mailto:Topcased-users@lists.gforge.enseeiht.fr> > > > http://lists.gforge.enseeiht.fr/mailman/listinfo/topcased-users > > > > > -- > Psssst! Schon vom neuen GMX MultiMessenger gehört? Der kann`s mit > allen: http://www.gmx.net/de/go/multimessenger > > _______________________________________________ > Topcased-users mailing list > Topcased-users@lists.gforge.enseeiht.fr > <mailto:Topcased-users@lists.gforge.enseeiht.fr> > http://lists.gforge.enseeiht.fr/mailman/listinfo/topcased-users > > > ------------------------------------------------------------------------ > > _______________________________________________ > Topcased-users mailing list > Topcased-users@lists.gforge.enseeiht.fr > http://lists.gforge.enseeiht.fr/mailman/listinfo/topcased-users -- Sébastien GABEL MDA/MDE Engineer Département SI Aéronautique & Industrie Communication & Systèmes ZAC de la Grande Plaine. Rue Brindejonc de Moulinais F-31506 Toulouse Cedex 5 +33 (0)5.61.39.46.16 _______________________________________________ Topcased-users mailing list Topcased-users@lists.gforge.enseeiht.fr http://lists.gforge.enseeiht.fr/mailman/listinfo/topcased-users
