ГОСТ Р ИСО 13584-42—2012
П р и м е ч а н и е 2 — Атрибут languages используется для определения последовательности переводов
(если это необходимодля атрибутов).
F.3.9.2.8 Метка с языком (Label_\vith_language)
Сущность label_with_language обеспечивает ресурс, ассоциирующий метку с языком.
Пример представления на языке EXPRESS:
’)
ENTITY label_withjanguage;
I: label:
language: language_code;
END_ENTITY; — label_withjanguage
(*
Определения атрибутов:
I: метка, ассоциированная с языком,
language: код помеченного языка.
F.3.9.2.9 Математическая строка (Mathematical_string)
Сущность mathematical_string обеспечивает ресурсы, определяющие представление математических
строк. Она допускает представление в формате MathML.
Пример представления на языке EXPRESS:
’)
ENTITY mathematical_string;
text_represen!ation: text;
MathMisrepresentation: OPTIONAL text;
END_ENTITY; — mathematical_string
(*
Определения атрибутов:
text_representation: «линейная» форма математической строки, использующая ИСО 843 {при необходимости).
MathML_representation: текст в формате MathML. размеченный в соответствии с требованиями XML DTD
(определения типа документа) для MathML. Текст MathML обрабатывается как отдельная строка во время обмена
(см. ИСО 10303-21).
F.3.10 Определения функций
Данный подраздел содержит функции, на которые производится ссылка из разделов по месту для подтверж
дения непротиворечивости данных, и которые доставляют ресурсы для разработки приложений.
F.3.10.1 Функция ациклического соотношения суперклассов (Acyclic_superclass_relationship)
Функция acyclic_superclass_re!ationship проверяет отсутствие цикла в соотношении суперклассов. Кар
динальное число атрибута its_superc!ass в классе сущностей гарантирует, что существует дерево наследствен
ности. а ациклических графов нет. Тоесть, данная функция просто не проверяет тот факт, что реализации класса не
ссылаются (в атрибуте its_superclass) на другую реализацию, которая, в сущности, является подклассом.
Пример представления на языке EXPRESS:
*)
FUNCTION acyclic_superclass_relationship<
current: class_BSU; visited: SET OF class): LOGICAL:
IF SIZEOF(current.definition) = 1THEN
IF current.definition[1] IN visited THEN
RETURN(FALSE):
(* wrong: current declares a subclass as itssuperclass*)
ELSE
IF EXISTS(current.definitk>n[1]\dass.its_superclass)
THEN
RETURN(acycbc_superdass_relationship(
current.definition[ 1)\class.Hs_superclass.
visited + current.definition[1J));
ELSE
RETURN(TRUE);
ENDJF:
ENDJF;
ELSE
RETURN(UNKNOWN);
ENDJF;
END_FUNCTION; — acyclic_superclass_relationship
(*
F.3.10.2 Функция проверки длины (Check_synjer»gth)
Функция check_syn_length проверяет тот факт, что длина атрибута s не превышает длину, определенную
атрибутом sjength.
114