ГОСТ Р ИСО 24610-2—2013
6.1.3 ЯзыкХМЬ
В языке XML тоже проводится четкое различие между двумя рассмотренными выше понятиями.
Документы на языке XML могут быть формально правильными или неправильными (недействительны
ми). и тогда формально правильные документы могут оказаться адекватными либо неадекватными
(недействительными). Как и в большинстве других языков разметки документов, формально правиль
ный XML-документдолжен отвечатьтребованиям ряда правил, касающихся единственности корневого
элемента, правильности вложенных структур и согласованности объектов документа. Критерии адек
ватности XML-документов установить труднее, однако прежде всего адекватные документы должны
бытьхорошосогласованнымиивыверенныминасоответствиевсемограничениям (правилам),устанав
ливаемымдалееграмматикойдокументов. напримервнутренними или внешними правилами определе
ния типов документов (Document Type Definition (DTD)], схемой XML и форматом RELAX NG либо
каким-то иным форматом. Неадекватные XML-документы называютсятакже недействительными.
6.2 Остандарте ИСО 24610
6.2.1 Определения
В ИСО 24610«формальнаяправильность» и «адекватность»рассматриваютсякакпринципиально
разные понятия в форме, которая в общем аналогична структурам языка XML. нороль DTD в ней играют
декларациисистем элементов, определяемыеданным стандартом:
- представление структуры элементов формальноправильнотогдаи толькотогда, когдаоно соот
ветствует определениям деклараций структур элементов и правилам типизации, определенным в
ИСО 24610-1:2006 или его более поздних версиях;
- следствие: каждое представление структуры элементов на языке XMLдолжно отвечать услови
ям формальной правильности XML-документов в части наличия единственного корневого элемента,
соответствующей структуры вложений и согласованности элементов;
- представление структуры элементов на языке XML адекватно тогда и только тогда, когда оно
формально правильно и соответствует системе элементов, декларированной (в DTD. схеме XML или в
каком-тоиномформате) дляконкретногоприложения, в которомиспользуютсятипизированныеструкту
ры элементов.
Формально правильная структура элементов считаетсятипизированной вотношениисогласован
ной (в смысле XML)декларации FSD тогда и только тогда, когда каждый элемент <fs>, содержащийся в
ней (включая и саму декларацию, если она является элементом <fs>), несет в себе значение атрибута
длятипа, явнодекларированного в каком-либоэлементе <fsDed> декларации системы элементовFSD.
Каждое типизированное представление структуры элементов однозначно указывает типизированную
структуруэлементов. В настоящем стандарте понятия «типизированная структура элементов» и«пред
ставление типизированнойструктуры элементов» используются каксинонимы, но не всеструктуры эле
ментов в ИСО 24610-1:2006 являются типизированными: между тем понятия «адекватность» и
«проверка адекватности» в отношении FSD имеют смысл только применительно к типизированным
представлениям структур элементов.
Типизированнаяструктураэлементовможетбытьформально неправильной понескольким причи
нам. Для обеспечения ее адекватности необходимо прежде всего, чтобы она была согласованной и
удовлетворяющей какусловиям формальнойправильностидляязыкаXML. таки определениям структу
ры и типизации элементов. Кроме того, значения элементов структуры должны находиться в пределах
декларированныхдопустимыхдиапазонов. Наконец, типизированная структурадолжна удовлетворять
действующим ограничениям ее типов и ограничениям, наследуемым от базовых типов.
В отличие от языковой среды XML типизированныеструктуры элементов частично упорядочены с
использованием отношения категоризации (см. 5.6). Говорить о категоризации несогласованных (фор
мальнонеправильных) представленийструктурэлементовпростонеимеет смысла, ноона приобретает
смысл применительно к неадекватным представлениям структур элементов, если они типизированы.
Адекватные типизированные структуры элементов способны категоризировать неадекватные и наобо
рот, и поэтому адекватность и категоризация не могут использоваться для взаимного построения
каких-либологическихвыводовотносительнодругдруга, нои самапотребностьв простомустановлении
факта адекватноститипизированныхструктурэлементов возникаетдовольно редко. Вместопроцедуры
определения адекватности почти всегда производится поиск адекватного расширения (3.11) типизиро
ванной структуры элементов. Каждая адекватная типизированная структура элементов абсолютно точ
но имеет хотя бы одно адекватное расширение, а именно — самое себя. Некоторые неадекватные
типизированные структуры элементов не имеют адекватных расширений, но те из них. у которых такое
адекватное расширениеесть, являютсяуникальными и наиболееобщими (или. соответственно, наиме
нее информативными). Это наиболее общее адекватное расширение используется в качестве
13