ГОСТ Р ИСО 18629-14—2011
Н А Ц И О Н А Л Ь Н Ы ЙС Т А Н Д А Р ТР О С С И Й С К О ЙФ Е Д Е Р А Ц И И
Системы промышленной автоматизации и интеграция
ЯЗЫК СПЕЦИФИКАЦИЙ ПРОЦЕССА
Ч а с т ь14
Теории ресурсов
Industrial automation systems and Integration. Process specification language. Part 14. Resource theories
Дата введения — 2013—01—01
1 Область применения
В настоящем стандарте в виде аксиом и определений установлены основные принципы, связан
ные с внешним ядром языка спецификаций процесса (outer core). Приведенные аксиомы обеспечивают
аксиоматизацию семантики терминологии, принятой в настоящем стандарте.
В настоящем стандарте рассмотрены следующие вопросы:
- ресурсы;
- взаимосвязь между ресурсами и операциями:
- комплектность ресурсов;
- аддитивные ресурсы.
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)
ИСО 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 (ISO18629-11:2005,Industrial automationsystems 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: PSL Outer core)
Издание официальное
1