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

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

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

Ещё ГОСТы из 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. . Стандарт применяется для всех определений управляемых объектов и их атрибутов, а также для задач административного управления системами)
Страница 288
Страница 1 Untitled document
ГОСТ Р HCO/HL7 27951—2016
Формальные языки обеспечивают возможность составления весьма четких утверждений, которые могут
использоваться для представления некоторого формального аргумента в пользу подтверждения или опровер
жения. Однако лаконичность таких формальных утверждений может также затруднить их понимание человеком.
Поэтому все важные выводы из формальных утверждений представлены также в виде предложений на есте
ственном языке.
В.1.7.2 Таблицы свойств
Для удобства ознакомления в начало описаний многих типов данных, приведенных в настоящей специфи
кации. включены таблицы «основных» свойств. К числу «основных» относится несколько расплывчатая группа тех
свойств, которые более похожи на «поля», когда такие типыданных реализуются как записи, или которые наиболее
часто используются. Эти таблицы предназначены для облегчения обзора содержания и назначения типов данных.
Не требуется, чтобы свойства, перечисленные в этих таблицах, были представлены как поля, и эти таблицы не
являются определениями абстрактного синтаксиса.
Каждая строка таблицы свойств описывает одно свойство и содержит следующие элементы:
1. Имя имя свойства, указанное в формальном определении. Для некоторых типов данных поле имени
первого свойства в таблице может быть пустым. Это может иметь место для тех типов данных, которые определе ны
как расширения других типов данных и в перечне свойств дочернего типа нет смысла показывать какие-либо
свойства родительского типа.
2. Тип — тип данных этого свойства.
3. Определение — краткий текст, описывающий смысл свойства.
В.1.7.3 Диаграммы на Унифицированном языке моделирования UML (Unified Modeling Language)
Для графического представления связей между типами данных используются диаграммы классов на Унифи
цированном языке моделирования UML (Unified Modeling Language). Типы данных показаны как классы UML. кото
рым присвоены краткие имена. Порождающие типы показаны как параметризованные классы UML с отношениями
реализации, связывающими их экземпляры.
Многие детали объявлений типов данных не могут быть представлены на диаграммах UML. Поэтому для
детальной спецификации таких типов данных должно использоваться формальное определение на языке DTDL
(Data Type Definition Language — язык описания типов данных}.
Некоторые изограничений в определениях на языхе DTDL представлены как ограничения на операции. Если
ограничения присутствуют, то они представляют собой утверждения, взятые из спецификации на языке DTDL.
которые должны быть истинными.
В диаграммах UML используется стереотип «mixin». Он применяется к параметризованному классу и озна
чает. что этот класс является специализацией типа данных, имя которого является значением параметра Т, и в
дополнение к собственным свойствам содержит все свойства этого типа данных.
В.1.8 Обзор типов данных
Представление типов данных в форме диаграммы классов на языке UML показано на рисунке В.1. Перечень
этих типов данных приведен в таблице В. 1.
Таблица В.1 Перечень типов данных в модели RIM
Имя
СимволОписание
DataValue
ANY Определяет основные свойства каждого типа данных. Это абстрактный тип.
означающий, что никакое значение не может быть только значением данных,
не принадлежащим никакому конкретному типу. Каждый конкретный тип явля
ется специализацией этого общего абстрактного типа DataValue
Boolean
BL Булевский тип представляет значения двузначной лотки. Булевское значение
может быть или TRUE (истина), или FALSE (ложь), или. как и любое другое
значение, может быть пустым (NULL)
BooleanNonNull
BNТип данных BN представляет собой ограничение типа данных BL. в котором
запрещено пустое значение. Этот тип предназначен для использования в тех
случаях, когда пустое значение недопустимо
284