| Обозначение: |  ГОСТ Р ИСО 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 г. )
|
| Расположен в: |
|
| Нормативные ссылки: | |