ГОСТ Р ИСО 21090—2016
Представление инвариантов на языке OCL:
inv "text only": mediaType - "text/plain"
lnv "no xml": xml.ocllsUndefined
mv "no data": data.ocllsUndefined
inv "no thumbnail": thumbnail.ocllsUndefined
lnv "no compression": compression.ocllsUndefined
inv "no translations": translation >islimpty
7.4.5 ED.SIGNATURE
7.4.5.1 Описание
Тонкость, ограничивающая тип данных ED
Тонкость ED.SIGNATURE ограничивает тип данных ED таким образом, что содержание этого типа
должно быть электронной подписью XML, соответствующей рекомендациям XML Signature Syntax and
Processing Recommendation организации W3C.
Если эта тонкость реализуется в контексте, объявляющем косвенное соответствие настоящему
стандарту, то реализация может отличаться от рекомендаций организации W3C, и объявление соот
ветствия должно описывать отображение между реализацией электронной подписи и рекомендациями
организации W3C.
7.4.5.2 Инварианты:
- атрибуты value, data, reference, integrity check, thumbnail, compression, language и translation не
разрешены;
- атрибут типа среды mediaType должен иметь значение text/xml.
Представление инвариантов на языке OCL:
mv "no reference" : reference.ocllsUndefined
mv "no value" : value.oclIsUndefined
inv "no data" :data.ocllsUndefined
mv "no integrityCheck": integrityCheck.ocllsUndefined
inv "no thumbnail": thumbnail.ocllsUndefined
mv "no compression": compression, ocl IsUndefined
mv "no language": language, ocl IsUndefined
mv "mediaType”: mediaType - "text/xml"
mv "no translations": translation >ist:mpty
7.4.6 Тип данных ST (строка символов)
7.4.6.1 Описание
Специализация типа данных ANY
Строковый тип данных используется для текстовых данных, в основном рассчитанных на машин
ную обработку (например, сортировка, поиск, индексирование и т. д.) или на непосредственный вывод
на экран или принтер. Используется для имен, символов, представлений и формальных выражений.
Значение типа данных ST должно содержать как минимум один символ либо иметь причину пу
стоты nullFlavor.
7.4.6.2 Синтаксис ИСО/МЭК 11404
type ST - class (
validTimeLow : characterstring,
validTimeHigh :characterstring,
controllnformationRoot :characterstrmg,
controllnformationKxtensicn : characterstring,
r.ullFlavor :NullFlavor,
updateMode : UpdateMode,
flavorld : Set (characterstrir.g),
value : characterstrir.g,
language : characterstring
translation : Set(ST.NT)
)
41