|
ГОСТ Р ИСО 18629-44-2011Системы промышленной автоматизации и интеграция. Язык спецификаций процесса. Часть 44. Дефинициональные расширения: расширения ресурсовОбозначение: | ГОСТ Р ИСО 18629-44-2011 | Обозначение англ: | GOST R ISO 18629-44-2011 | Статус: | введен впервые | Название рус.: | Системы промышленной автоматизации и интеграция. Язык спецификаций процесса. Часть 44. Дефинициональные расширения: расширения ресурсов | Название англ.: | Industrial automation systems and integration. Process specification language. Part 44. Definitional extension. Resource extensions | Дата добавления в базу: | 01.10.2014 | Дата актуализации: | 01.01.2021 | Дата введения: | 01.09.2012 | Область применения: | Стандарт устанавливает спецификацию непримитивных понятий языка программирования. При этом используется набор определений, написанных на языке, установленном в ИСО 18629. Данные определения устанавливают аксиомы для терминологии в соответствии с ИСО 18629. Стандарт распространяется на: - определения понятий, установленных в ИСО 18629-11, ИСО 18629-12 и ИСО 18629-14 и связанных с ресурсами, множествами ресурсов и соотношениями между ресурсами и действиями; - определение понятий, установленных в ИСО 18629-11, ИСО 18629-12 и ИСО 18629-14, характеризующих соотношения между ресурсами и действиями. | Оглавление: | 1 Область применения 2 Нормативные ссылки 3 Термины, определения и сокращения 3.1 Термины и определения 3.2 Сокращения 4 Общая информация об ИСО 18629 5 Структура настоящего стандарта 6 Назначение ресурса 6.1 Примитивная лексика назначения ресурса 6.2 Определяемая лексика понятий для назначения ресурса 6.3 Теории ядра, обусловленные назначением ресурса 6.4 Дефинициональные расширения, обусловленные назначением ресурса 6.5 Определения понятий для назначения ресурса 7 Согласованность действий, основанная на емкости ресурса 7.1 Примитивная лексика согласованности действий, основанной на емкости ресурса 7.2 Определяемая лексика понятий для согласованности действий, основанной на емкости ресурса 7.3 Теории, обусловленные согласованностью действий, основанной на емкости ресурса 7.4 Дефинициональные расширения, обусловленные согласованностью действий, основанной на емкости ресурса 7.5 Определения согласованности действий, основанной на емкости ресурса 8 Совместное использование ресурса 8.1 Примитивная лексика совместного использования ресурса 8.2 Определяемая лексика совместного использования ресурса 8.3 Теории, обусловленные совместным использованием ресурса 8.4 Дефинициональные расширения, обусловленные совместным использованием ресурса…. 8.5 Определения для совместного использования ресурса 9 действия, обусловленные набором ресурсов 9.1 Примитивная лексика действий, обусловленных набором ресурсов 9.2 Определяемая лексика действий, обусловленных набором ресурсов 9.3 Теории для действий, обусловленных набором ресурсов 9.4 Дефинициональные расширения для действий, обусловленных набором ресурсов 9.5 Определения для действий, обусловленных набором ресурсов 10 Взаимозаменяемые ресурсы 10.1 Примитивная лексика взаимозаменяемых ресурсов 10.2 Определяемая лексика взаимозаменяемых ресурсов 10.3 Теории, обусловленные взаимозаменяемыми ресурсами 10.4 Дефинициональные расширения, обусловленные взаимозаменяемыми ресурсами 10.5 Определения для взаимозаменяемых ресурсов 11 Гомогенные множества 11.1 Примитивная лексика гомогенных множеств 11.2 Определяемые соотношения для гомогенных множеств 11.3 Теории ядра, обусловленные гомогенными множествами 11.4 Дефинициональные расширения, обусловленные гомогенными множествами 11.5 Определения для гомогенных множеств 12 Объединенные ресурсы 12.1 Примитивная лексика объединенных ресурсов 12.2 Определяемая лексика объединенных ресурсов 12.3 Теории, обусловленные объединенными ресурсами 12.4 Дефинициональные расширения, обусловленные объединенными ресурсами 12.5 Определения для объединенных ресурсов 13 Набор материально-производственных ресурсов 13.1 Примитивная лексика набора материально-производственных ресурсов 13.2 Определяемая лексика набора материально-производственных ресурсов 13.3 Теории, обусловленные набором материально-производственных ресурсов 13.4 Дефинициональные расширения, обусловленные набором материально-производственных ресурсов 13.5 Определения для набора материально-производственных ресурсов 14 Действия обрабатывающей программы (процессора) 14.1 Примитивная лексика действий процессора 14.2 Определяемая лексика действий процессора 14.3 Теории, обусловленные действиями процессора 14.4 Дефинициональные расширения, обусловленные действиями процессора 14.5 Определения для действий процессора 15 Пути ресурса 15.1 Примитивная лексика путей ресурса 15.2 Определяемая лексика путей ресурса 15.3 Теории, обусловленные путями ресурса 15.4 Дефинициональные расширения, обусловленные путями ресурса 15.5 Определения для путей ресурса Приложение А (справочное) ASN.1 Идентификатор настоящего стандарта Приложение В (справочное) Пример описания технологического процесса в соответствии с настоящим стандартом Приложение ДА (справочное) Сведения о соответствии ссылочных международных стандартов национальным стандартам Российской Федерации Библиография | Разработан: | НТЦ ИНТЕК
| Утверждён: | 22.12.2011 Федеральное агентство по техническому регулированию и метрологии (1613-ст)
| Издан: | Стандартинформ (2014 г. )
| Расположен в: |
| Нормативные ссылки: | |
|
|