Hi Sebastian, First of all, thank you for your suggestion, althoug it didn't worked. The solution was a bit surprising for me: I had to change the Mainmodel to http://www.eclipse.org/OCL2/1.0.0/ocl/uml. Isn't it possible to set my MainModel to http://www.eclipse.org/uml2/2.1.0/UML ? I asked a fellow student of mine if he gets the constraints runnig with the model http://www.eclipse.org/uml2/2.1.0/UML and he did. So I'am a bit confused. <http://dict.leo.org/ende?lp=ende&p=thMx..&search=student>
Greetings, Gregor [email protected] schrieb: > Hi Gregor, > > I think the problem comes from the fact you have a nameless > constraint. Try to give a name to your OCL rule. For instance : > inv rule1: self.getAllOperations()->size() = 0. > > Tell us if this solution solves your problem. > > Regards, > > Sebastien > > Quoting [email protected]: > > >> Hello Topcased-Users, >> >> I have a problem with the ocl-checking on an UML-Modell. I created an >> ocl-rule-file containig this constraints: >> >> MainModel : http://www.eclipse.org/uml2/2.1.0/UML >> >> context Class >> inv: self.getAllOperations()->size() = 0 >> >> Now I want this invariant to be performed on this uml-file: >> >> <?xml version="1.0" encoding="UTF-8"?> >> <uml:Model xmi:version="2.1" >> xmlns:xmi="http://schema.omg.org/spec/XMI/2.1"; >> xmlns:uml="http://www.eclipse.org/uml2/2.1.0/UML"; >> xmi:id="_qb8akM37EdqwVrslYOdUDA"> >> <packagedElement xmi:type="uml:Package" >> xmi:id="_w8IxIM37EdqwVrslYOdUDA" name="OCLTest"> >> <packagedElement xmi:type="uml:Class" >> xmi:id="_nVos8BrhEd6FZN6o2XCVkQ" name="Test"> >> <ownedAttribute xmi:id="_onBcUBrhEd6FZN6o2XCVkQ" name="prop1" >> type="_uSUyQBrhEd6FZN6o2XCVkQ"/> >> </packagedElement> >> <packagedElement xmi:type="uml:PrimitiveType" >> xmi:id="_uSUyQBrhEd6FZN6o2XCVkQ" name="Integer"/> >> </packagedElement> >> </uml:Model> >> It is a simple uml-model consisting of one class with one property. >> I right click on the model and choose the option "OCL Check...". In the >> upcoming OCL checker I try to add the ocl-file. >> But unfourtnately after clicking ok, I'm still with the ocl-checker >> whithout the ocl-file. The error log doesn't prompt anything. >> >> I tried both in the standalone TopCased-RCP and as a plugin for eclispe >> 3.4.1 (Ganymede). Topcased version is 2.4.0. >> My project's structure is as follows: >> OCLTest >> --> constraints >> --> rules.ocl >> --> Models >> --> OCLTest.uml >> --> OCLTest.umldi >> >> Do you have any suggestion how to solve this problem ? I'm really >> looking forward for your help. >> >> Kind regards >> Gregor Trefs >> >> _______________________________________________ >> 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
