検証は、ドキュメントが一定の制限を必ず従うよう実行時に行われます。
検証制限はストラクチャーの定義で暗黙的に指定されます。これには、データ型、出現数、エレメントの長さなどが含まれます。検証制限はまた、各マップエレメントの[Validate] (検証)タブで式を使い、ストラクチャーかマップのいずれかでも指定できます。
検証式にはブール値が必要です。値がtrueの場合は有効なエレメントであると判断されます。falseの場合は検証レポートが生成されます。検証レポートはジェネリックなもので、エレメントの検証が失敗したことと失敗の場所を表すだけにとどまります。
