ГОСТ Р ИСО 18629-42-2011 Системы промышленной автоматизации и интеграция. Язык спецификаций процесса. Часть 42. Дефинициональные расширения: временные расширения и расширения состояния
ГОСТ Р ИСО
Скачать ГОСТ в PDF или DOC бесплатно
Основная информация
Обозначение:
ГОСТ Р ИСО 18629-42-2011
Статус:
Действует
Тип:
ГОСТ Р ИСО
Название русское:
Системы промышленной автоматизации и интеграция. Язык спецификаций процесса. Часть 42. Дефинициональные расширения: временные расширения и расширения состояния
Название английское:
Industrial automation systems and integration. Process specification language. Part 42. Definitional extension: temporal and state extensions
Даты и сроки
Дата издания:
08-11-20
Дата введения в действие:
09-01-12
Дата завершения срока действия:
-
Применение и описание
Область и условия применения:
Настоящий стандарт устанавливает спецификацию непримитивных понятий языка программирования. При этом используется набор определений, написанных на языке, установленном ИСО 18629. Данные определения устанавливают аксиомы для терминологии в соответствии с ИСО 18629. Настоящий стандарт распространяется на: - определения новых временных и основанных на состоянии понятий в соответствии с ИСО 18629-11 и ИСО 18629-12; - событийные ограничения выполнения действий, сформулированные с использованием временных соотношений в соответствии с ИСО 18629-11 и соотношений, основанных на состоянии, в соответствии с ИСО 18629-12. Настоящий стандарт не распространяется на определения новых понятий, соответствующих ИСО 18629-11 и ИСО 18629-12, и новых понятий, не зависимых от временных соотношений и соотношений, зависимых от состояния
Связи и замены
Заменяющий:
-
Описание стандарта
ГОСТ Р ИСО 18629-42-2011 Системы промышленной автоматизации и интеграция. Язык спецификаций процесса. Часть 42. Дефинициональные расширения: временные расширения и расширения состояния
Страницы стандарта
