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