ГОСТ Р ИСО 18629-42-2011 Системы промышленной автоматизации и интеграция. Язык спецификаций процесса. Часть 42. Дефинициональные расширения: временные расширения и расширения состояния

Скачать документ бесплатно (Печать в pdf)

Описание:

Обозначение: ГОСТ Р ИСО 18629-42-2011

Статус: действующий

Тип: ГОСТ Р ИСО

Название русское: Системы промышленной автоматизации и интеграция. Язык спецификаций процесса. Часть 42. Дефинициональные расширения: временные расширения и расширения состояния

Название английское: Industrial automation systems and integration. Process specification language. Part 42. Definitional extension: temporal and state extensions

Дата издания: 01.04.2014

Дата введения в действие: 01.09.2012

Область и условия применения: Настоящий стандарт устанавливает спецификацию непримитивных понятий языка программирования. При этом используется набор определений, написанных на языке, установленном ИСО 18629. Данные определения устанавливают аксиомы для терминологии в соответствии с ИСО 18629.
Настоящий стандарт распространяется на:
- определения новых временных и основанных на состоянии понятий в соответствии с ИСО 18629-11 и ИСО 18629-12;
- событийные ограничения выполнения действий, сформулированные с использованием временных соотношений в соответствии с ИСО 18629-11 и соотношений, основанных на состоянии, в соответствии с ИСО 18629-12.
Настоящий стандарт не распространяется на определения новых понятий, соответствующих ИСО 18629-11 и ИСО 18629-12, и новых понятий, не зависимых от временных соотношений и соотношений, зависимых от состояния

Текст ГОСТ Р ИСО 18629-42-2011

Скачать документ бесплатно (Печать в pdf)

ГОСТы

Нормативные документы

© Copyright Гостинформ | Обратная связь

Рейтинг@Mail.ru