Validating an SML-IF document

Validation is the process of verifying that all documents in a model are valid with respect to this special subset. The key contribution of SML to validation lies in its handling of inter-document constraints, which can and should be layered on top of the single-document validation of XML Schema or other schema languages.

  1. From the Navigator window, select a desired SML-IF document to be validated.
  2. Do one of the following tasks to Validate the document:
    1. Right-click the document and click Validate SML-IF
    2. Alternatively, open the file with the SML-IF editor, click Overview tab and click Validate entire document as show in Figure 1
Figure 1. Validating a document in the SML-IF editor
Validating a document in the SML-IF editor
Parent topic: Learning the basics