Данная формальная спецификация представлена на языке EXPRESS.
EXPRESS-спецификация:
(*
ISO_12006_3_VERSION_3
EXPRESS-спецификация:
*)
SCHEMA ISO_12006_3_VERSION_3;
(*
4.3.1 xtdDate
xtdDate - определенный тип данных простого типа данных STRING, используемый для буквенно-цифрового представления даты. Рекомендуемый формат представления даты - "YYYY.MM.DD"
Пример - 31 мая 2000 года необходимо записывать как "2000.05.31"
EXPRESS-спецификация:
*)
TYPE xtdDate = STRING;
END_TYPE;
(*
4.3.2 xtdGlobalUniquelD
xtdGlobalUniquelD - определенный тип данных простого типа данных STRING, содержащий глобально уникальный идентификатор.
Обычно идентификатор создается с использованием алгоритма (например, публикованного Object Management Group), основанного на IP-адресе компьютера, генерирующего этот идентификатор.
Существуют реализации указанного выше алгоритма, которые можно использовать для создания идентификатора.
Идентификатор представляет собой уникальное 128-битное число. Размер идентификатора рекомендуется сжимать для уменьшения объема служебных данных. Разработчикам следует сжимать идентификатор до строки из 22 символов с помощью алгоритма сжатия с 64 символами в качестве основного набора (кодировка BASE 64). Кодирование основного набора из 64 символов представлено ниже:
Пример - 22-символьная строка "93f09e4A_899402a9$D013" является глобально уникальным идентификатором.
Каждое понятие в библиотеке может иметь только один глобально уникальный идентификатор. Глобально уникальные идентификаторы похожих понятий в различных библиотеках, разрабатываемых независимо друг от друга, могут отличаться. В настоящем стандарте не представлен механизм, автоматически оценивающий похожие понятия с различными глобально уникальными идентификаторами из разных библиотек. Оценка понятий из разных библиотек в целях установления эквивалентности должна проводиться отдельно.
Примечание - Объяснение алгоритма представлено на http://www.opengroup.org/dce/info/draft-leachuuids-guids-01.txt.