ГОСТ Р ИСО 13584-32-2012 Системы промышленной автоматизации и интеграция. Библиотека деталей. Часть 32. Ресурсы практической реализации. Язык онтологической разметки продукции

     8.3 Система типов данных

OntoML-язык предоставляет ресурсы для описания типов данных, что позволяет ограничивать область значений, закрепленных за определенным свойством (признаком). При этом доступными являются как простые типы данных (булев, действительный, строковый и т.п.), так и сложные типы данных (именованные, сборные, классные и т.п.). Каждый тип данных определяется как подтип комплексного XML-типа данных ANY_TYPE_Tyре. Рисунок 57 иллюстрирует основные типы данных, доступные в OntoML-языке.

Примечание 1 - Лексическое представление значения каждого типа данных, принадлежащего OntoML-системе типов данных, дано в приложении D. В следующем подразделе каждый тип данных будет сопоставляться с соответствующим лексическим представлением.

Рисунок 57 - OntoML-система типов данных

Определение внутреннего элемента:

Элемент constraints: Определяет совокупность условий для ограничения области значений типа данных.

Примечание 2 - Каждое ограничение области значений должно полностью выполняться, поэтому совокупность ограничений будет определять их связи.

Определение внутреннего типа:

Тип DOMAIN_CONSTRAINTS_Type: Является группой ограничительных условий для области значений.

Определения внешних типов:

Тип ARRAY_TYPE_Type: Является группой массивов, см. 8.3.9.4.

Тип BAG_TYPE_Type: Является группой пакетов, см. 8.3.9.1.

Тип BOOLEAN_TYPE_Type: Является булевым типом данных, см. 8.3.1.

Тип CLASS_REFERENCE_TYPE_Type: Является ссылкой на идентифицированный тип класса, см. 8.3.10.

Тип DATE_TIME_DATA_TYPE_Type: Является типом данных "дата/время", см. 8.3.3.

Тип DATE_DATA_TYPE_Type: Является типом данных "дата", см. 8.3.3.

Тип DOMAIN_CONSTRAINT_Type: Является типом данных "ограничительные условия", см. 8.5.3.3.

Тип INT_CURRENCY_TYPE_Type: Является типом данных "целое значение валюты", см. 8.3.6.

Тип INT_MEASURE_TYPE_Type: Является типом целого значения без единицы измерений, см. 8.3.7.

Тип INT_TYPE_Type: Является типом целого числа без единицы измерения, см. 8.3.5.

Тип LEVEL_TYPE_Type: Является типом уровня, см. 8.3.11.

Тип LIST_TYPE_Type: Является группой списков, см. 8.3.9.3.

Тип NAMED_TYPE_Type: Является ссылочным типом на идентифицированные данные, см. 8.3.12.

Тип NON_QUANTITATIVE_CODE_TYPE_Type: Является типом перечня строковых кодов, см. 8.3.4.

Тип NON_QUANTITATIVE_INT_TYPE_Type: Является типом перечня целочисленных кодов, см. 8.3.8.

Тип NON_TRANSLATABLE_STRING_TYPE_Type: Является типом непереводимой строки, см. 8.3.2.

Тип NUMBER_TYPE_Type: Является типом номера, см. 8.3.5.