Хорошие продукты и сервисы
Наш Поиск (введите запрос без опечаток)
Наш Поиск по гостам (введите запрос без опечаток)
Поиск
Поиск
Бизнес гороскоп на текущую неделю c 11.11.2024 по 17.11.2024
Открыть шифр замка из трёх цифр с ограничениями

ГОСТ Р ИСО/HL7 27951-2016; Страница 317

или поделиться

Ещё ГОСТы из 41757, используйте поиск в верху страницы ГОСТ ISO 105-Х12-2014 Материалы текстильные. Определение устойчивости окраски. Часть X12. Метод определения устойчивости окраски к трению Textiles. Tests for colour fastness. Part X12. Colour fastness to rubbing ГОСТ 1.1-2002 Межгосударственная система стандартизации. Термины и определения Interstate system for standardization. Terms and definitions (Настоящий стандарт устанавливает основные термины, применяемые в межгосударственной стандартизации, и их определения. . Термины, установленные настоящим стандартом, рекомендуется использовать в правовой, нормативной, технической и организационно-распорядительной документации, научной, учебной и справочной литературе) ГОСТ Р ИСО/МЭК 10165-1-2001 Информационная технология. Взаимосвязь открытых систем. Структура информации административного управления. Часть 1. Модель информации административного управления Information technology. Open systems interconnection. Structure of management information. Management information model (Настоящий стандарт относится к серии стандартов по услуге информации административного управления ВОС. В стандарте определена информационная модель управляемых объектов и их атрибуты, которые соответствуют информационным аспектам модели административного управления системы, установленной в обзоре административного управления системы ГОСТ Р ИСО/МЭК 10040. . Стандарт применяется для всех определений управляемых объектов и их атрибутов, а также для задач административного управления системами)
Страница 317
Страница 1 Untitled document
ГОСТ Р HCO/HL7 27951—2016
В.2.5.5 Свойство reference: TEL (фиксированное)
invarrant(ST x>
where x.nonNull f
x.reterence.notApplicable;
i ;
Значения типа ST не могут быть ссылаться на содержание, находящееся в каком-то другом месте.
В.2.5.6 Свойство integrityCheck: BIN (фиксированное)
invariant (ST х)
where х.nonNuН I
х.rntegntyCheek.notApplicable;
l i
Контрольная сумма значений типа ST не вычисляется.
В.2.5.7 Свойство integrityCheckAlgonthm: CS (фиксированное)
invariant(ST х>
where x.nonNull (
х.integrityCheckAlgonthm.notApplicable;
J;
К значениям типа ST алгоритм контрольного суммирования не применяется.
В.2.5.8 Свойство thumbnail: ED (фиксированное)
invariant (ST х)
where x.nonNu
11
\
x.thumbnai1.notApplicable;
i ;
Эскизы для значений типа ST не могут быть определены.
В.2.5.9 Литеральная форма
Определены два варианта литералов типа данных ST: форма токена и строка в кавычках^. Форма токена со
стоит из строчных и прописных символов латинского алфавита, десяти десятичных цифр и подчеркивания. Строка
в кавычках может содержать между кавычками любой символ. Кавычки предотвращают интерпретацию строки
символов как литерал другого типа. Форма токена используется для представления имен и ключевых слое, раз
бираемых в языке спецификации типов данных.
ST.literal ST
\
ST : /"!’]♦"/(S.equal($1); i /♦ quoted string */
I
I
|a-zA-20-9_l■*/
\
3.equal(SI); i; /’* token lorm */
) ;
П р и м е ч а н и е Поскольку литералы типа данных ST играют фундаментальную роль в технологии реа
лизации. в большинстве спецификаций реализуемой технологии будет использоваться некоторая модифицирован
ная форма литерала строки символов. Однако разработчики этих спецификаций должны учитывать возможность
пересечения литеральной формы типа данных ST с литеральными формами, определенными для других типов
данных. Такое пересечение особенно критично, если литеральная форма другого типа данных структурирована в
виде основных компонентов, разделенных специальными символами (например, вещественное число, физиче ская
величина, литералы множества и списка и т. д.).
Литерал типа данных ST представляет собой преобразование строки символов в другой тип данных. Оче
видно. литералы типа данных ST для символьных строк представляют собой циклическое, если не избыточное
образование. Поэтому литеральная форма в основном указывает, каким образом осуществляется разбор строк
символов на языке определения типов данных.
314