Building models that capture the desired state of modeled systems is an important use case for SML. In addition to using the schema-based constraints supported by XML Schema, SML models can also use SML’s schema-based constraints on inter-document references...