ГОСТ Р ИСО 18629-44 - 2011
ИСО 15531-1 Системы промышленной автоматизации и интеграция. Управляющая
информация промышленным производством. Часть 1. Общий обзор (ISO 15531-1,
Industrial automation systems and integration - Industrial manufacturing management data -
Part 1: General overview)
ИСО 18629-1: 2004 Системы промышленной автоматизации и интеграция. Язык
спецификаций процесса. Часть 1. Обзор и основные принципы (ISO 18629-1:2004,
Industrial automation systems and integration - Process specification language - Part 1:
Overview and basic principles)
ИСО 18629-11:2005 Системы промышленной автоматизации и интеграция. Язык
спецификаций процесса. Часть 11. Ядро PSL (ISO 18629-11:2005, Industrial automation
systems and integration - Process specification language - Part 11: PSL core)
ИСО 18629-12 Системы промышленной автоматизации и интеграция. Язык
спецификаций процесса. Часть 12. Внешнее ядро (ISO 18629-12, Industrial automation
systems and integration - Process specification language - Part 12: Outer core)
ИСО 18629-14 Системы промышленной автоматизации и интеграция. Язык
спецификаций процесса. Часть 14. Теории ресурсов (ISO 18629-14, Industrial automation
systems and integration - Process specification language - Part 14: Resource theories)
3 Термины, определения и сокращения
3.1 Термины и определения
В настоящем стандарте применены следующие термины с соответствующими
определениями:
3.1.1 аксиома (axiom): Точно сформулированное аналитическое выражение на
формальном языке, устанавливающее ограничения к интерпретации символов в
словаре языка.
[ИСО 18629-1]
3.1.2 установленная лексика (defined lexicon): Набор символов в нелогической
лексике, обозначающих установленные понятия.
Примечание - Описываемая лексика включает константы, функции и символы
соотношений.
Пример - Термины с консервативными определениями [ИСО 18629-1].
2