search

eclipse-ocl / org.eclipse.ocl

Eclipse Public License 2.0
0 stars 0 forks source link

[uml-pivot] Provide a validate/not-validate control capability for UML Instance validation #1384

Closed eclipse-ocl-bot closed 4 hours ago

eclipse-ocl-bot commented 4 hours ago

| --- | --- | | Bugzilla Link | 447130 | | Status | RESOLVED DUPLICATE of bug 467686 | | Importance | P3 normal | | Reported | Oct 14, 2014 11:16 EDT | | Modified | May 21, 2015 04:47 EDT | | Blocks | 417062 | | Reporter | Ed Willink |

Description

Using UML Instances to test UML constraints can be useful, but not all UML Instance diagrams represent valid states, so validating always could be really irritating.

Suggest a diagram level profile that can be applied to define a control. Perhaps all finer grain apploication on individual instances/classes.

If OCL has to provide a small profile to define Integer/Real precisions then another stereotype for <>::shouldBeValid could be published in the same profile.

eclipse-ocl-bot commented 4 hours ago

By Ed Willink on May 21, 2015 04:47

Just one of the facilities of the OCLforUML profile appearing in Mars RC2.

This bug has been marked as a duplicate of bug 467686