SYSML16 — Most constraints are missing their OCL statement

Only few constraints specified in SysML v1.5 have a corresponding formal OCL statement. Even if not all of them can be expressed using SysML, most of them could. This would help clarifying then and will remove ambiguity that shall remain in their English description.

Provide OCL statements for SysML stereotype constraints everywhere possible

The resolution will result in a version of the SysML profile models that will include OCL statements for constraints everywhere we will be able to write one or the sentence: "Cannot be expressed in OCL" otherwise

Here is the URL to models in the SVN branch for this issue resolution: http://www.omgwiki.org/repos/SysML/branches/SYSML16-311

Note: If you want to contribute leave a comment below, and don't forget to "lock" (SVN) but avoid keeping the version locked too long and commit your work in order to not block other contributions. Thanks!