Explanation of error OCL constraint violation
The evaluation of an OCL constraint against the object identified returned ocl:False.
This is the error correctly reported when the OCL is valid but, in the manner defined
by that OCL code, your model isn't. Identifying what it is about your exchange file
that the the OCL is objecting to is a typical debugging exercise, and due to the
lack of debugging tools, can be hard to grasp. If you can't see the problem, and you
are part of the MIWG, send a note to firstname.lastname@example.org.
Whether or not processors will behave
properly when faced with OCL constraint violations depends on the details of the constraint.
Unfortunately, many of the constraints described in the
text of the specifications (particularly in SysML and UML Activities) have not been
coded in OCL. If we find it useful, we will write the relevant OCL.
Send questions or comments to