BESSER
BESSER copied to clipboard
Object Diagram for the WME
Is your feature request related to a problem?
Add the Object diagram into the WME
This should then be linked to B-OCL to check whether the object diagram is consistent with the OCL constraints of the model