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

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