ГОСТ Р ИСО 18629-43-2011
Системы промышленной автоматизации и интеграция. Язык спецификаций процесса. Часть 43. Дефинициональные расширения: упорядочивание действий и расширение продолжительности
| Обозначение: | ГОСТ Р ИСО 18629-43-2011 |
| Обозначение англ: | GOST R ISO 18629-43-2011 |
| Статус: | введен впервые |
| Название рус.: | Системы промышленной автоматизации и интеграция. Язык спецификаций процесса. Часть 43. Дефинициональные расширения: упорядочивание действий и расширение продолжительности |
| Название англ.: | Industrial automation systems and integration. Process specification language. Part 43. Definitional extension: Activity ordering and duration extensions |
| Дата добавления в базу: | 01.10.2014 |
| Дата актуализации: | 01.01.2021 |
| Дата введения: | 01.09.2012 |
| Область применения: | Стандарт устанавливает спецификацию непримитивных понятий языка программирования. При этом используется набор определений, написанных на языке, установленном в ИСО 18629. Данные определения устанавливают аксиомы для терминологии в соответствии с ИСО 18629. Область применения стандарта включает определения понятий с использованием терминологии в соответствии с ИСО 18629-13. Область применения стандарта не включает определения новых временных и основанных на состоянии понятий в соответствии с ИСО 18629-11 и ИСО 18629-12. |
| Оглавление: | 1 Область применения 2 Нормативные ссылки 3 Термины, определения и сокращения 3.1 Термины и определения 3.2 Сокращения 4 Общая информация об ИСО 18629 5 Структура настоящего стандарта 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 Определения упорядочивания соотношений в комплексной последовательности Приложение А (справочное) ASN.1 Идентификатор настоящего стандарта Приложение В (справочное) Пример описания технологического процесса в соответствии с настоящим стандартом Приложение ДА (справочное) Сведения о соответствии ссылочных международных стандартов национальным стандартам Российской Федерации Библиография |
| Разработан: | НТЦ ИНТЕК |
| Утверждён: | 22.12.2011 Федеральное агентство по техническому регулированию и метрологии (1612-ст) |
| Издан: | Стандартинформ (2014 г. ) |
| Расположен в: | |
| Нормативные ссылки: |
|
ГОСТ Р ИСО/МЭК 8824-1-2001 «Информационная технология. Абстрактная синтаксическая нотация версии один (АСН.1). Часть 1. Спецификация основной нотации»
