ГОСТ Р МЭК 61360-2—2013
Пояснения к тексту программы:
WR1: если предпочтительные и короткие имена даются более чем на одном языке, то все атри
буты languages переведенных меток translatodjabels должны содержать реализации переводов
present_translations как в атрибуте languages рассматриваемой реализации item_names.
WR2: если синонимичные имена даются на более чем одном языке, то можно использовать толь
ко языки, указанные в реализациях переводов present_translations и в атрибутах languages рассма
триваемой реализации item_names.
WR3: если язык не указан, то атрибуты preferred_names. short_names и synonymous_names
можно не переводить.
Примечание 1 — Атрибуты preferred_names, synonymous_names и short_names используются для
кодирования атрибутов «Предпочтительное имя». «Синонимичное имя» и «Краткое имя» свойств и классов
соответственно.
Примечание 2 — Атрибут languages используется для определения последовательности переводов
(если это необходимодля атрибутов).
5.11.3.9 Метка с языком (Label_with_language)
Сущность label_with_language обеспечивает ресурс, ассоциирующий метку с языком.
Пример представления на языке EXPRESS:
М
ENTITY label_with_language; 1:
label,*
language: language_code; END_
ENTITY; -- label_with_ianguage
<w
Определения атрибутов
I: метка, ассоциированная с языком.
language: код помеченного языка.
5.11.3.10 Математическая строка (Mathematical_string)
Сущность mathematical_string обеспечивает ресурсы, определяющие представление математи
ческих строк. Она допускает представление в формате MathML.
Пример представления на языке EXPRESS:
*)
ENTITY mathematical_3tring;
text_representation: text;
MathML_representation: OPTIONAL text;
END_EN1’ITY; -- mathematical_string
(*
Определения атрибутов.
text_representation: «линейная» форма математической строки, использующая ИСО 843 (при не
обходимости).
MathML_representation: текст в формате MathML. размеченный в соответствии с требованиями
XML DTD (определения типа документа) для MathML. Текст MathML обрабатывается как отдельная
строка во время обмена (см. ИСО 10303-21).
5.12 Определения функций
5.12.1 Общие положения
Данный подраздел содержит функции, на которые производится ссылка из разделов по местудля под
тверждения непротиворечивости данных и которые предоставляют ресурсы для разработки приложений.
5.12.2 Функция ациклического соотношения суперклассов (Acyclic_superclass_relationship)
Функция acyclic_superclass_relationship проверяет отсутствие цикла в соотношении суперклас
сов. Кардинальное число атрибута its_superclass в классе сущностей гарантирует, что существует
дерево наследственности, а ациклических графов нет. Данная функция не проверяет тот факт, что
75