ГОСТ Р ИСО 18629-14-2011

Системы промышленной автоматизации и интеграции. Язык спецификаций процесса. Часть 14. Теории ресурсов

Обозначение:	ГОСТ Р ИСО 18629-14-2011
Обозначение англ:	GOST R ISO 18629-14-2011
Статус:	введен впервые
Название рус.:	Системы промышленной автоматизации и интеграции. Язык спецификаций процесса. Часть 14. Теории ресурсов
Название англ.:	Industrial automation systems and integration. Process specification language. Part 14. Resource theories
Дата добавления в базу:	01.10.2014
Дата актуализации:	01.01.2021
Дата введения:	01.01.2013
Область применения:	В стандарте в виде аксиом и определений установлены основные принципы, связанные с внешним ядром языка спецификаций процесса (outer core). Приведенные аксиомы обеспечивают аксиоматизацию семантики терминологии, принятой в стандарте.
Оглавление:	1 Область применения 2 Нормативные ссылки 3 Термины, определения и сокращения    3.1 Термины и определения    3.2 Сокращения 4 Информация, общая для всех частей ИСО 18629 5 Структура настоящего стандарта 6 Теория потребности в ресурсах    6.1 Примитивные отношения в теории потребности в ресурсах    6.2 Примитивные функции в теории потребности в ресурсах    6.3 Определяющие отношения в теории потребности в ресурсах    6.4 Базовые теории, необходимые для теории потребности в ресурсах    6.5 Дефинициональные расширения, необходимые для теории потребности в ресурсах    6.6 Неформальная семантика теории потребности в ресурсах    6.7 Определения теории потребности в ресурсах    6.8 Аксиомы теории потребности в ресурсах 7 Теория комплектности ресурсов    7.1 Примитивные функции в теории комплектности ресурсов    7.2 Определяющие функции в теории комплектности ресурсов    7.3 Базовые теории, необходимые для теории комплектности ресурсов    7.4 Дефинициональные расширения, необходимые для теории комплектности ресурсов    7.5 Неформальная семантика теории комплектности ресурсов    7.6 Аксиомы теории комплектности ресурсов    7.7 Определения теории комплектности ресурсов 8 Теория аддитивных ресурсов    8.1 Примитивные категории теории аддитивных ресурсов    8.2 Примитивные функции в теории аддитивных ресурсов    8.3 Примитивные константы в теории аддитивных ресурсов    8.4 Примитивные отношения в теории аддитивных ресурсов    8.5 Базовые теории, необходимые для теории аддитивных ресурсов    8.6 Неформальная семантика теории аддитивных ресурсов    8.7 Аксиомы теории аддитивных ресурсов Приложение А (справочное) Использование идентификаторов стандартного языка описания синтаксиса (ASN.1) в стандартах подкомитета ПК 4 Приложение В (справочное) Пример описания производственного процесса в соответствии с настоящим стандартом Приложение ДА (справочное) Сведения о соответствии ссылочных международных стандартов ссылочным национальным стандартам Российской Федерации Библиография
Разработан:	НТЦ Авиагидравлика
Утверждён:	22.12.2011 Федеральное агентство по техническому регулированию и метрологии (1609-ст)
Издан:	Стандартинформ (2013 г. )
Расположен в:	Техническая документация Электроэнергия МАШИНОСТРОЕНИЕ Промышленные автоматизированные системы Измерение и контроль производственного процесса Экология МАШИНОСТРОЕНИЕ Промышленные автоматизированные системы Измерение и контроль производственного процесса
Нормативные ссылки:	ГОСТ Р ИСО/МЭК 8824-1-2001 «Информационная технология. Абстрактная синтаксическая нотация версии один (АСН.1). Часть 1. Спецификация основной нотации» ГОСТ Р ИСО 15531-1-2008 «Промышленные автоматизированные системы и интеграция. Данные по управлению промышленным производством. Часть 1. Общий обзор»