ГОСТ Р ИСО 18629-43—2011
ИС018629-13 Системы промышленной автоматизации иинтеграция. Языкспецификаций процесса.
Часть 13. Теории длительности и упорядочения (ISO 18629-13, Industrial automationsystemsand integration
— Process specification language — Part 13: Duration and ordering theories)
3Термины, определения и сокращения
3.1 Термины и определения
Внастоящем стандарте применены следующие термины ссоответствующими определениями:
3.1.1 автоморфизм (automorphism): Отображение «один к одному» элементов на множество, сохра
няющеесоотношения ифункции внекоторой модели.
[ИС0 18629-13)
3.1.2 аксиома (axiom): Точно сформулированноеаналитическое выражение на формальном языке,
устанавливающееограничения кинтерпретациисимволов всловаре языка.
[ИС018629-1]
3.1.3 установленная лексика (defined lexicon): Набор символов в иелогической лексике, обознача
ющих установленные понятия.
П р и м е ч а н и е — Установленная лексика включает константы, функции и символы соотношений.
Пример
—
Термины с консерват ивными определениями [ИСО 18629-1].
3.1.4 дефинициональное расширение (definitional extension): Расширение ядра PSL. представ
ляющее новые лингвистические понятия, которые могут бытьопределены с помощьютерминов ядра PSL.
П р и м е ч а н и е — Дефинициональные расширения не добавляют выразительную силу ядру PSL и
используются для подробного описания семантики и терминологии в области применения.
[ИС018629-1]
3.1.5 продолжительность интервала времени (duration interval oftime).Длина интервала времени,
представленная в заданных единицах измерения.
[ИС0 15531-42]
3.1.6 эндоморфизм (endomorphism): Отображение множества на некоторое подмножество, сохраня
ющеесоотношения и функции в некоторой модели.
[ИС018629-13]
3.1.7 расширение (extension): Расширение ядра PSL. содержащеедополнительныеаксиомы.
П р и ме ч а н и е 1— Ядро PSL представляет собой относительно простой набор аксиом, достаточный для
представления широкого круга основных процессов. Однако для представления более сложных процессов требу
ются дополнительные ресурсы, отсутствующие в ядре PSL. Ядро PSL с каждым понятием следует использовать
для описаний того или иного процесса, а для описания разнообразных модульных расширений следует исполь
зовать расширение и дополнения ядра PSL. В этом случае пользователь может использовать такой язык, кото рый
соответствует требованиям к выразительности.
П р и ме ч а н и е
2
— Все расширения являются теориями ядра или дефинициональными расширениями.
[ИС018629-1]
3.1.8 грамматика (grammar): Правила совместного использования логических символов исловарных
терминовдля составления точносформулированныханалитических выражений.
[ИС018629-1]
3.1.9 гомоморфизм (homomorphism): Отображение между множествами, сохраняющее некоторые
соотношения наэлементахмножества.
[ИС018629-13]
3.1.10 язык (language): Сочетаниелексики играмматики.
[ИС018629-1]
3.1.11 локсика (lexicon): Набор символов и терминов.
П р и м е ч а н и е —
Л
ексика состоит из логических (например, булевы выражения и квантификаторы) и
нелогических символов. В комплексе стандартов ИСО 18629 нелогическая часть лексики состоит из выражений
(констант, функциональных символов и реляционных символов), необходимых для представления основных по
нятий онтологии.
2