ГОСТ Р ИСО 18629-13-2011
8824-1, Information technology — Abstract Syntax Notation One (ASN.1) — Part 1:
Specification of basic notation)
ИСО 15531-1 Системы промышленной автоматизации и интеграция.
Управляющая информация промышленным производством. Часть 1. Общий
обзор (ISO 15531-1, Industrial automation systems and integration — Industrial
manufacturing management data — Part 1: General overview)
ИСО 18629-1 Системы промышленной автоматизации и интеграция. Язык
спецификаций процесса. Часть 1. Обзор и основные принципы (ISO 18629-1,
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:2005Системыпромышленнойавтоматизациии
интеграция. Язык спецификаций процесса. Часть 12. Внешнее ядро (ISO 18629-
12:2005, Industrial automation systems and integration — Process specification
language — Part 12: Outer core)
3Термины, определения и сокращения
3.1 Термины и определения
Внастоящемстандартепримененыследующиетерминыс
соответствующими и определениями:
3.1.1 автоморфизм (automorphism): Отображение «один к одному»
элементов на множество, сохраняющее соотношения и функции в некоторой
модели.
3.1.2аксиома(axiom):Точносформулированноеаналитическое
выражениенаформальномязыке,устанавливающееограниченияк
интерпретации символов в словаре языка.
[ИСО 18629-1]
3.1.3 коммутативная группа (commutative group): Алгебраическая
2