ГОСТ Р ИСО 18629-42—2011
Н А Ц И О Н А Л Ь Н Ы ЙС Т А Н Д А Р ТР О С С И Й С К О ЙФ Е Д Е Р А Ц И И
Системы промышленной автоматизации и интеграция
ЯЗЫК СПЕЦИФИКАЦИЙ ПРОЦЕССА
Ч а с т ь 42
Дофинициональныо расширения: временные расширения и расширения состояния
Industrial automation systems and integration. Process specification language.
Part 42. Definitional extension. Temporal and state extensions
Дата введения — 2012—09—01
1 Область применения
Настоящий стандарт устанавливает спецификацию непримитивных понятий языка программирова
ния. При этом используется набор определений, написанных наязыке, установленном ИС0 18629. Данные
определения устанавливают аксиомы для терминологии в соответствии с И С 018629.
Настоящий стандарт распространяется на:
- определения новых временных и основанных на состоянии понятий в соответствии с ИСО 18629-11
и ИСО 18629-12,
- событийные ограничения выполнения действий, сформулированные с использованием временных
соотношений в соответствии с И С 018629-11 и соотношений, основанных на состоянии, в соответствии с И
С 018629-12.
Настоящий стандарт не распространяется на определения новых понятий, соответствующих
ИС0 18629-11 и И С 018629-12. и новых понятий, не зависимых от временныхсоотношений и соотношений,
зависимых от состояния.
П р и м е ч а н и е — Временные понятия и понятия, зависимые от состояния, относятся ко времени и статусу
какой-либо сущности, связанной с технологическим процессом и используемой для его спецификации.
2 Нормативные ссылки
В настоящем стандарте использованы нормативныессылки на следующие международные стандар
ты, которые необходимо учитывать при использовании настоящего стандарта. В случае ссылок на доку
менты. у которых указана дата утверждения, необходимо пользоваться только указанной редакцией. В
случае, когда дата утверждения не приведена, следует пользоваться последней редакцией ссылочных
документов, включая любые поправки и изменения к ним:
ИСО/МЭК 8824-1 Информационные технологии. Нотация абстрактного синтаксиса версии 1(ASN.1).
Часть 1. Спецификация базовой нотации (ISO/IEC 8824-1, Information technology— Abstract Syntax Notation
One (ASN.1)— Part 1: Specification of basic notation)
И С 010303-1 Системы промышленной автоматизации и интеграция. Представлениеданных о продук
ции и обмен данными. Часть 1. Обзор и основные принципы (ISO 10303-1. Industrial automation systems and
integration — Product data representation and exchange — Part 1: Overview and fundamental principles)
ИСО 15531-1 Системы промышленной автоматизации и интеграция. Управляющая информация
промышленным производством. Часть 1. Общий обзор (ISO 15531-1, Industrial automation systems and
integration — Industrial manufacturing management data — Part 1: General overview)
ИСО 18629-1:2004 Системы промышленнойавтоматизации и интеграция. Язык спецификаций процес
са. Часть 1. Обзор и основные принципы (ISO 18629-1:2004. Industrial automation systems and integration —
Process specification language — Part 1: Overview and basic principles)
Издание официальное
1