Bundt User's Manual · Bundt Toolset version 1.0.1.0

Validation

Validating a model checks for inconsistencies in and between its model elements.

A valid model is guaranteed to be formally correct.

Details

While you are constructing a model, sometimes you make changes that temporarily leave the model in an invalid state. For example, imagine that you create a type model, add some content, and then relise that you want to give temporal semantics to an attribute. You check the Is Temporal box on the Attribute property page and save your changes. As you haven't specified yet a temporal aspect class for the model, this is an invalid state: there is a temporal attribute, but no temporal aspect class has been designated. You can still save and edit your model, but you won't be able to seal, extend or create an instance model from it.

You can validate your model at any time to verify if there are any inconsistencies in it. You do this through the Validate command in the main menu of the Type Model or Instance Model window.

If the model is not valid, an Information Messages Results property page will be displayed listing the validation errors. You can then fix them and re-validate the model as needed until no issues are pending.

Please note that a model must be valid before it can be sealed, and sealing, in turn, is necessary to extend a type model or derive an instance model from it. In general, it is a good idea to always validate your model after any substantial change.

Validation

Details

See Also