Software Disclaimer

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 [email protected].

Whether or not processors will behave properly when faced with OCL constraint violations depends on the details of the constraint.

Note: 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 [email protected].