Скачать ГОСТ Р ИСО 18629-42-2011 Системы промышленной автоматизации и интеграция. Язык спецификаций процесса. Часть 42. Дефинициональные расширения: временные расширения и расширения состоянияДата актуализации: 01.01.2021 ГОСТ Р ИСО 18629-42-2011
Системы промышленной автоматизации и интеграция. Язык спецификаций процесса. Часть 42. Дефинициональные расширения: временные расширения и расширения состоянияОбозначение: | ГОСТ Р ИСО 18629-42-2011 | Обозначение англ: | GOST R ISO 18629-42-2011 | Статус: | введен впервые | Название рус.: | Системы промышленной автоматизации и интеграция. Язык спецификаций процесса. Часть 42. Дефинициональные расширения: временные расширения и расширения состояния | Название англ.: | Industrial automation systems and integration. Process specification language. Part 42. Definitional extension: Temporal and state extensions | Дата добавления в базу: | 01.10.2014 | Дата актуализации: | 01.01.2021 | Дата введения: | 01.09.2012 | Область применения: | Стандарт устанавливает спецификацию непримитивных понятий языка программирования. При этом используется набор определений, написанных на языке, установленном ИСО 18629. Данные определения устанавливают аксиомы для терминологии в соответствии с ИСО 18629. Стандарт распространяется на: - определения новых временных и основанных на состоянии понятий в соответствии с ИСО 18629-11 и ИСО 18629-12; - событийные ограничения выполнения действий, сформулированные с использованием временных соотношений в соответствии с ИСО 18629-11 и соотношений, основанных на состоянии, в соответствии с ИСО 18629-12. Стандарт не распространяется на определения новых понятий, соответствующих ИСО 18629-11 и ИСО 18629-12, и новых понятий, не зависимых от временных соотношений и соотношений, зависимых от состояния. | Оглавление: | 1 Область применения 2 Нормативные ссылки 3 Термины, определения и сокращения 3.1 Термины и определения 3.2 Сокращения 4 Общая информация об ИСО 18629 5 Структура настоящего стандарта 5.1 Введение 5.2 Расширения, определенные в настоящем стандарте 6 Основанные на состоянии входные условия выполнения действий 6.1 Примитивная лексика основанных на состоянии входных условий выполнения действий 6.2 Описываемая лексика понятий для основанных на состоянии входных условий выполнения действий 6.3 Теории ядра, обусловленные основанными на состоянии входными условиями выполнения действий 6.4 Дефинициональные расширения, обусловленные основанными на состоянии входными условиями выполнения действий 6.5 Определения понятий для основанных на состоянии входных условий выполнения действий 6.6 Грамматика соотношений для основанных на состоянии входных условий выполнения действий 7 Временные входные условия выполнения действий 7.1 Примитивная лексика временных входных условий выполнения действий 7.2 Описываемая лексика понятий для временных входных условий выполнения действий . . 7.3 Теории, обусловленные временными входными условиями выполнения действий 7.4 Дефинициональные расширения, обусловленные временными входными условиями выполнения действий 7.5 Определения временных входных условий выполнения действий 7.6 Грамматика описаний процесса для временных входных условий выполнения действий 8 Временные и основанные на состоянии входные условия 8.1 Примитивная лексика временных и основанных на состоянии входных условий 8.2 Описываемая лексика временных и основанных на состоянии входных условий 8.3 Теории, обусловленные временными и основанными на состоянии входными условиями 8.4 Дефинициональные расширения, обусловленные временными и основанными на состоянии входными условиями 8.5 Определения временных и основанных на состоянии входных условий 8.6 Грамматика временных и основанных на состоянии входных условий 9 Событийные входные условия выполнения действий 9.1 Примитивная лексика событийных входных условий выполнения действий 9.2 Описываемые соотношения событийных входных условий выполнения действий 9.3 Теории, обусловленные событийными входными условиями выполнения действий 9.4 Дефинициональные расширения, обусловленные событийными входными условиями выполнения действий 9.5 Определения событийных входных условий выполнения действий 9.6 Грамматика событийных входных условий выполнения действий 10 Предотвращаемые условия выполнения действий 10.1 Примитивная лексика предотвращаемых условий выполнения действий 10.2 Описываемые соотношения предотвращаемых условий выполнения действий 10.3 Теории, обусловленные предотвращаемыми условиями выполнения действий 10.4 Дефинициональные расширения, обусловленные предотвращаемыми условиями выполнения действий 10.5 Определения предотвращаемых условий выполнения действий 10.6 Грамматика описаний процесса для предотвращаемых условий выполнения действий 11 Периодические входные условия выполнения действий 11.1 Примитивная лексика периодических входных условий выполнения действий 11.2 Описываемая лексика периодических входных условий выполнения действий 11.3 Теории, обусловленные периодическими входными условиями выполнения действий 11.4 Дефинициональные расширения, обусловленные периодическими входными условиями выполнения действий 11.5 Определения периодических входных условий выполнения действий 11.6 Грамматика периодических входных условий выполнения действий 12 Входные условия нарушения выполнения действий 12.1 Примитивная лексика входных условий нарушения выполнения действий 12.2 Описываемая лексика входных условий нарушения выполнения действий 12.3 Теории, обусловленные входными условиями нарушения выполнения действий 12.4 Дефинициональные расширения, обусловленные входными условиями нарушения выполнения действий 12.5 Определения входных условий нарушения выполнения действий 12.6 Грамматика входных условий нарушения выполнения действий 13 Эффекты действий 13.1 Примитивная лексика эффектов действий 13.2 Описываемая лексика эффектов действий 13.3 Теории, обусловленные эффектами действий 13.4 Дефинициональные расширения, обусловленные эффектами действий 13.5 Определения эффектов действий 13.6 Грамматика эффектов действий 14 Основанные на состоянии эффекты действий 14.1 Примитивная лексика основанных на состоянии эффектов действий 14.2 Описываемая лексика основанных на состоянии эффектов действий 14.3 Теории ядра, обусловленные основанными на состоянии эффектами действий 14.4 Дефинициональные расширения, обусловленные основанными на состоянии эффектами действий 14.5 Определения основанных на состоянии эффектов действий 14.6 Грамматика основанных на состоянии эффектов действий 15 Временные эффекты действий 15.1 Примитивная лексика временных эффектов действий 15.2 Описываемая лексика временных эффектов действий 15.3 Теории ядра, обусловленные временными эффектами действий 15.4 Дефинициональные расширения, обусловленные временными эффектами действий 15.5 Определения временных эффектов действий 15.6 Грамматика временных эффектов действий 16 Событийные эффекты действий 16.1 Примитивная лексика событийных эффектов действий 16.2 Описываемая лексика событийных эффектов действий 16.3 Теории ядра, обусловленные событийными эффектами действий 16.4 Дефинициональные расширения, обусловленные событийными эффектами действий 16.5 Определения событийных эффектов действий 16.6 Грамматика событийных эффектов действий 17 Эффекты действий: событийные ограничения 17.1 Примитивная лексика эффектов действий: событийные ограничения 17.2 Описываемая лексика эффектов действий: событийные ограничения 17.3 Теории ядра, обусловленные эффектами действий: событийные ограничения 17.4 Дефинициональные расширения, обусловленные эффектами действий: событийные ограничения 17.5 Определения эффектов действий: событийные ограничения 17.6 Грамматика эффектов действий: событийные ограничения 18 Эффекты действий: временные и событийные ограничения 18.1 Примитивная лексика эффектов действий: временные и событийные ограничения 18.2 Описываемая лексика эффектов действий: временные и событийные ограничения 18.3 Теории ядра, обусловленные эффектами действий: временные и событийные ограничения 18.4 Дефинициональные расширения, обусловленные эффектами действий: временные и событийные ограничения 18.5 Определения эффектов действий: временные и событийные ограничения 18.6 Грамматика эффектов действий: временные и событийные ограничения 19 Дерево флюента 19.1 Примитивная лексика дерева флюента 19.2 Описываемые соотношения дерева флюента 19.3 Теории ядра, обусловленные деревом флюента 19.4 Дефинициональные расширения, обусловленные деревом флюента 19.5 Определения дерева флюента 19.6 Грамматика описаний процесса для дерева флюента 20 Распределение комплексных действий 20.1 Примитивная лексика распределения комплексных действий 20.2 Описываемые соотношения распределения комплексных действий 20.3 Теории ядра, обусловленные распределением комплексных действий 20.4 Дефинициональные расширения, обусловленные распределением комплексных действий 20.5 Определения распределения комплексных действий 20.6 Грамматика описаний процесса распределения комплексных действий 21 Основанное на состоянии распределение комплексных действий 21.1 Примитивная лексика основанного на состоянии распределения комплексных действий 21.2 Описываемые соотношения основанного на состоянии распределения комплексных действий 21.3 Теории, обусловленные основанным на состоянии распределением комплексных действий 21.4 Дефинициональные расширения, обусловленные основанным на состоянии распределением комплексных действий 21.5 Определения основанного на состоянии распределения комплексных действий 21.6 Грамматика описаний процесса для основанного на состоянии распределения комплексных действий 22 Временное распределение комплексных действий 22.1 Примитивная лексика временного распределения комплексных действий 22.2 Описываемые соотношения временного распределения комплексных действий 22.3 Теории, обусловленные временным распределением комплексных действий 22.4 Дефинициональные расширения, обусловленные временным распределением комплексных действий 22.5 Определения временного распределения комплексных действий 22.6 Грамматика описаний процесса для временного распределения комплексных действий 23 Смешанное распределение комплексных действий 23.1 Примитивная лексика смешанного распределения комплексных действий 23.2 Описываемые соотношения смешанного распределения комплексных действий 23.3 Теории ядра, обусловленные смешанным распределением комплексных действий 23.4 Дефинициональные расширения, обусловленные смешанным распределением комплексных действий 23.5 Определения смешанного распределения комплексных действий 23.6 Грамматика описаний процесса для смешанного распределения комплексных действий 24 Вариация комплексных действий 24.1 Примитивная лексика вариации комплексных действий 24.2 Описываемые соотношения вариации комплексных действий 24.3 Теории, обусловленные вариацией комплексных действий 24.4 Дефинициональные расширения, обусловленные вариацией комплексных действий 24.5 Определения вариации комплексных действий 24.6 Грамматика описаний процесса для вариации комплексных действий 25 Основанная на состоянии вариации комплексных действий 25.1 Примитивная лексика основанной на состоянии вариации комплексных действий 25.2 Описываемые соотношения основанной на состоянии вариации комплексных действий 25.3 Теории, обусловленные основанной на состоянии вариации комплексных действий 25.4 Дефинициональные расширения, обусловленные основанной на состоянии вариации комплексных действий 25.5 Определения основанной на состоянии вариации комплексных действий 25.6 Грамматика описаний процесса для основанной на состоянии вариации комплексных действий 26 Временная вариация комплексных действий 26.1 Примитивная лексика временной вариации комплексных действий 26.2 Описываемые соотношения временной вариации комплексных действий 26.3 Теории, обусловленные временной вариацией комплексных действий 26.4 Дефинициональные расширения, обусловленные временной вариацией комплексных действий 26.5 Определения временной вариации комплексных действий 26.6 Грамматика описаний процесса для временной вариации комплексных действий 27 Смешанная вариация комплексных действий 27.1 Примитивная лексика смешанной вариации комплексных действий 27.2 Описываемые соотношения смешанной вариации комплексных действий 27.3 Теории, обусловленные смешанной вариацией комплексных действий 27.4 Дефинициональные расширения, обусловленные смешанной вариацией комплексных действий 27.5 Определения смешанной вариации комплексных действий 27.6 Грамматика описаний процесса для смешанной вариации комплексных действий 28 Встроенные действия: планы 28.1 Примитивная лексика встроенных действий: планы 28.2 Описываемые соотношения встроенных действий: планы 28.3 Теории, обусловленные встроенными действиями: планы 28.4 Дефинициональные расширения, обусловленные встроенными действиями: планы 28.5 Определения встроенных действий: планы 28.6 Грамматика описаний процесса для встроенных действий: планы 29 Встроенные действия: временной разброс 29.1 Примитивная лексика встроенных действий: временной разброс 29.2 Описываемые соотношения встроенных действий: временной разброс 29.3 Теории, обусловленные встроенными действиями: временной разброс 29.4 Дефинициональные расширения, обусловленные встроенными действиями: временной разброс 29.5 Определения встроенных действий: временной разброс 29.6 Грамматика описаний процесса для встроенных действий: временной разброс 30 Вариация неделимых вверх действий 30.1 Примитивная лексика вариации неделимых вверх действий 30.2 Описываемые соотношения вариации неделимых вверх действий 30.3 Теории, обусловленные вариацией неделимых вверх действий 30.4 Дефинициональные расширения, обусловленные вариацией неделимых вверх действий 30.5 Определения вариации неделимых вверх действий 30.6 Грамматика описаний процесса для вариации неделимых вверх действий 31 Вариация неделимых вниз действий 31.1 Примитивная лексика вариации неделимых вниз действий 31.2 Описываемые соотношения вариации неделимых вниз действий 31.3 Теории, обусловленные вариацией неделимых вниз действий 31.4 Дефинициональные расширения, обусловленные вариацией неделимых вниз действий 31.5 Определения вариации неделимых вниз действий 31.6 Грамматика описаний процесса для вариации неделимых вниз действий 32 Входные условия совместных действий 32.1 Примитивная лексика входных условий совместных действий 32.2 Описываемые соотношения входных условий совместных действий 32.3 Теории, обусловленные входными условиями совместных действий 32.4 Дефинициональные расширения, обусловленные входными условиями совместных действий 32.5 Определения входных условий совместных действий 32.6 Грамматика описаний процесса для входных условий совместных действий 33 Эффекты совместных действий 33.1 Примитивная лексика эффектов совместных действий 33.2 Описываемые соотношения эффектов совместных действий 33.3 Теории, обусловленные эффектами совместных действий 33.4 Дефинициональные расширения, обусловленные эффектами совместных действий 33.5 Определения эффектов совместных действий 33.6 Грамматика описаний процесса для эффектов совместных действий 34 Вариация препятствующих входных условий 34.1 Примитивная лексика вариации препятствующих входных условий 34.2 Описываемые соотношения вариации препятствующих входных условий 34.3 Теории, обусловленные вариацией препятствующих входных условий 34.4 Дефинициональные расширения, обусловленные вариацией препятствующих входных условий 34.5 Определения вариации препятствующих входных условий 34.6 Грамматика описаний процесса для вариации препятствующих входных условий 35 Вариация эффектов затирания полезных данных 35.1 Примитивная лексика вариации эффектов затирания полезных данных 35.2 Описываемые соотношения вариации эффектов затирания полезных данных 35.3 Теории, обусловленные вариацией эффектов затирания полезных данных 35.4 Дефинициональные расширения, обусловленные вариацией эффектов затирания полезных данных 35.5 Определения вариации эффектов затирания полезных данных 35.6 Грамматика описаний процесса для вариации эффектов затирания полезных данных Приложение А (справочное) ASN.1 Идентификатор настоящего стандарта Приложение В (справочное) Пример описания технологического процесса в соответствии с настоящим стандартом Приложение ДА (справочное) Сведения о соответствии ссылочных международных стандартов ссылочным национальным стандартам Российской Федерации Библиография | Разработан: | НТЦ ИНТЕК
| Утверждён: | 22.12.2011 Федеральное агентство по техническому регулированию и метрологии (1611-ст)
| Издан: | Стандартинформ (2014 г. )
| |
Нормативные ссылки: | |
![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/0.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/1.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/2.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/3.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/4.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/5.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/6.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/7.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/8.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/9.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/10.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/11.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/12.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/13.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/14.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/15.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/16.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/17.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/18.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/19.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/20.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/21.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/22.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/23.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/24.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/25.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/26.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/27.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/28.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/29.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/30.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/31.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/32.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/33.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/34.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/35.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/36.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/37.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/38.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/39.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/40.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/41.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/42.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/43.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/44.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/45.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/46.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/47.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/48.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/49.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/50.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/51.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/52.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/53.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/54.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/55.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/56.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/57.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/58.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/59.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/60.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/61.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/62.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/63.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/64.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/65.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/66.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/67.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/68.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/69.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/70.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/71.gif) ![ГОСТ Р ИСО 18629-42-2011](../../../Data2/1/4293780/4293780206.files/72.gif)
|