OCL Question

Discussions about UML in general.

OCL Question

Postby oliverzi » Mon May 10, 2004 12:19 pm

I currently use a evaluation copy of poseidon professional and try to test the OCL support. The dokumentation doesn't show how to use the OCL-compliant statements to validate your model. How can I do this ? Thanks.
Oliver Zimmermann
Posts: 4
Joined: Mon Apr 26, 2004 12:06 pm

Re: OCL Question

Postby [gw] Thorsten Sturm » Fri May 14, 2004 9:10 am

In the lower right part of the main window you can find a tab called "Constraints". You can edit your constraints there. Please note that constraints are currently available for classifiers (i.e. classes, interfaces, etc.) only.

Thorsten Sturm
[gw] Thorsten Sturm
Posts: 185
Joined: Sat Jan 18, 2003 10:03 am

Re: OCL Question

Postby MickB » Tue May 18, 2004 3:50 pm


Since Poseidon version 2.3, the internal checking of OCL constraint is dropped, since this presented a lot of problems; it is now a plain text editor for contraints. If you want to validate your OCL 2.0 constraints, you could try Octopus, a free of charge tool by Klasse Objecten (http://www.klasse.nl/ocl/octopus-intro.html). Octopus is able to import a Poseidon XMI file and verify its associated OCL constraints (amongst other features as well).

M. Baggen
Posts: 13
Joined: Fri Mar 19, 2004 9:40 am

Return to UML

Who is online

Users browsing this forum: No registered users and 1 guest