Основные ссылки
|
ГОСТ Р ИСО 18629-42-2011
Системы промышленной автоматизации и интеграция. Язык спецификаций процесса. Часть 42. Дефинициональные расширения: временные расширения и расширения состояния
| Обозначение: | ГОСТ Р ИСО 18629-42-2011 |
|---|
| Статус: | действующий |
|---|
| Тип: | ГОСТ Р ИСО |
|---|
| Название русское: | Системы промышленной автоматизации и интеграция. Язык спецификаций процесса. Часть 42. Дефинициональные расширения: временные расширения и расширения состояния |
|---|
| Название английское: | Industrial automation systems and integration. Process specification language. Part 42. Definitional extension: temporal and state extensions |
|---|
| Дата актуализации текста: | 06.04.2015 |
|---|
| Дата актуализации описания: | 01.07.2023 |
|---|
| Дата регистрации: | 00.00.0000 |
|---|
| Дата издания: | 11.08.2020 |
|---|
| Дата введения в действие: | 01.09.2012 |
|---|
| Область и условия применения: | Настоящий стандарт устанавливает спецификацию непримитивных понятий языка программирования. При этом используется набор определений, написанных на языке, установленном ИСО 18629. Данные определения устанавливают аксиомы для терминологии в соответствии с ИСО 18629. Настоящий стандарт распространяется на: - определения новых временных и основанных на состоянии понятий в соответствии с ИСО 18629-11 и ИСО 18629-12; - событийные ограничения выполнения действий, сформулированные с использованием временных соотношений в соответствии с ИСО 18629-11 и соотношений, основанных на состоянии, в соответствии с ИСО 18629-12. Настоящий стандарт не распространяется на определения новых понятий, соответствующих ИСО 18629-11 и ИСО 18629-12, и новых понятий, не зависимых от временных соотношений и соотношений, зависимых от состояния |
|---|
| Расположен в: | |
|---|
Источник информации: https://xn--c1ad2agd.xn--p1ai/gosts/gost/56977
На эту страницу сайта можно сделать ссылку:
На правах рекламы:
|
