Данная формальная спецификация представлена на языке EXPRESS.
EXPRESS-спецификация
(*
ISO_12006_3_VERSION_3
EXPRESS-спецификация:
*)
SCHEMA ISO_12006_3_VERSION_3;
(*
4.3.1 xtdDate
xtdDate - определенный тип данных простого типа данных STRING, используемый для буквенно-цифрового представления даты. Рекомендуемый формат представления даты "ГГГГ.ММ.ЧЧ".
Пример - 31 мая 2000 года необходимо записывать как "2000.05.31".
EXPRESS-спецификация:
*)
TYPE xtdDate = STRING;
END_TYPE;
(*
4.3.2 xtdGlobalUniquelD
xtdGlobalUniquelD - определенный тип данных простого типа данных STRING, содержит глобальный уникальный идентификатор.
Как правило, идентификатор создается с использованием алгоритма.
Существуют реализации указанного выше алгоритма, которые можно использовать для создания идентификатора.
Идентификатор представляет собой уникальное 128-битное число. Желательно сжать размер идентификатора, для того чтобы уменьшить служебные данные. Разработчикам следует сжимать идентификатор до строки из 22 символов с помощью алгоритма сжатия с 64 символами в качестве основы. Кодирование основного набора из 64 символов представлено ниже:
1 | 2 | 3 | 4 | 5 | 6 |
0123456789012345678901234567890123456789012345678901234567890123 | |||||
"0123456789ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz_$"; |
Пример - 22-символьная строка "93f09e4A_899402a9$D013" является глобальным уникальным идентификатором.
Каждый элемент в библиотеке может иметь лишь один глобальный уникальный идентификатор. Глобальные уникальные идентификаторы подобных элементов в различных независимо разрабатываемых библиотеках могут отличаться. В настоящем стандарте не представлен механизм, который автоматически оценивает подобные элементы с различными глобальными уникальными идентификаторами по библиотекам. Оценка элементов между библиотеками в целях установления эквивалентности должна проводиться отдельно.
Примечание - Описание алгоритма см.:
http://www.opengroup.org/dce/info/draft-leach-uuids-guids-01.txt.