ГОСТ Р ИСО 18629-11— 2010
Н А Ц И О Н А Л Ь Н Ы ЙС Т А Н Д А Р ТР О С С И Й С К О ЙФ Е Д Е Р А Ц И И
Системы промышленной автоматизации и интеграция
ЯЗЫК СПЕЦИФИКАЦИЙ ПРОЦЕССА
Ч а с т ь 11
Ядро PSL
Industrial automation systems and integration. Process specification language.
Part 11. PSL core
Дата введения — 2011—09—01
1 Область применения
Настоящий стандарт распространяется на концепцию ядра PSL. определяемую с помощью аксиом,
написанных на языке, соответствующем требованиям комплекса стандартов ИС0 18629.
Концепция, приведенная в настоящем стандарте, является общей для всех процессов производства.
2 Нормативные ссылки
В настоящем стандарте использованы нормативные ссылки наследующие стандарты, которые необ
ходимо учитывать при использовании настоящего стандарта. В случае ссылок на документы, у которых
указана дата утверждения, необходимо пользоваться только указанной редакцией. В случае, когда дата
утверждения не приведена, следует пользоваться последней редакцией ссылочныхдокументов, включая
любые поправки и изменения к ним:
ИСО/МЭК 8824-1 Информационные технологии. Нотация абстрактного синтаксиса версии 1{ASN.1).
Часть 1. Спецификация базовой нотации (ISO/IEC 8824-1, Information technology — Abstract Syntax Notation
One (ASN.1)— Part 1: Specification of basic notation)
ИС0 10303-1 Системы промышленной автоматизации и интеграция. Представлениеданных о продук
ции и обмен данными. Часть 1. Обзор и основные принципы (IS 010303-1. Industrial automation systems and
integration — Product data representation and exchange — Part 1: Overview and fundamental principles)
И С 015531-1 Системы промышленной автоматизации и интеграция. Управляющая информация про
мышленным производством.Часть 1. Общий обзор(IS 015531-1, Industrial automation systemsand integration—
Industrial manufacturing management data — Part 1: General overview)
ИС0 15531-42 Системы промышленной автоматизации и интеграция. Управляющая информация про
мышленным производством. Часть 42. Модель времени (ISO 15531 -42:2005. Industrial automation systems
and integration — Industrial manufacturing management data — Part 42: Time model)
3 Термины, определения и сокращения
3.1 Термины и определения
В настоящем стандарте использованы следующие термины с соответствующими определениями.
3.1.1 аксиома (axiom): Точно сформулированное аналитическое выражение на формальном языке,
устанавливающее ограничения к интерпретации символов в словаре языка.
(ИСО 18629-1:2004, статья 3.1.1)
Издание официальное
1