ГОСТ Р И С 018629-11 — 2010
3.1.21 процесс (process): Структурированный ряд видов деятельности, включающий в себя раз
личные сущности предприятия, предназначенный и организованный для достижения конкретной цели.
П р и м е ч а н и е — Данное определение аналогично определению, приведенному в ИСО 10303-49. Тем не
менее ИСО 15531 нуждается в понятии структурированного набора деятельностей без какого-либо предопреде
ленного отношения ко времени или этапам. С точки зрения управления потоком некоторые свободные процессы
могут требовать синхронизации в отношении цепи, хотя в действительности они ничего не выполняют (задачи-
призраки).
[ИСО 15531-1:2004. статья 3.6.29)
3.1.22 продукт (product): Изделие, материал или вещество, изготовленное в процессе производства.
[ИС 010303-1]
3.1.23 теория доказательств (proof theory): Совокупность теорий и лексических элементов, необхо
димыхдля интерпретации семантики языка.
П р и м е ч а н и е — Теория доказательств состоит из трех компонентов: ядра PSL. внешнего ядра и
расширений.
[ИС0 18629-1:2004. статья 3.1.25)
3.1.24 ядро PSL (PSL Core): Набор аксиом для понятийдеятельности, событиядеятельности, момен
та времени и объекта.
П р и м е ч а н и е — Мотивацией для ядра PSL является наличие любых двух приложений, имеющих
отношение к процессу, которые должны совместно использовать упомянутые аксиомы с целью обмена инфор
мацией о процессе. Поэтому ядро PSL является адекватным для описания основных концепций производствен ных
процессов. Следовательно, эта характеристика основных процессов имеет несколько допущений в отноше нии их
характеристик, за исключением тех. которые необходимы для описания процессов. Поэтому ядро PSL ограничено
с точки зрения выражения логической возможности. При этом ядро PSL обеспечивает определение многих
вспомогательных понятий, которые необходимы для описания всех интуитивных понятий в производ ственном
процессе.
[ИСО 18629-1:2004. статья 3.1.26)
3.1.25 теория (theory): Набор аксиом и определений, относящийся к данному понятию или набору
понятий.
П р и м е ч а н и е — Данное определение отражает подход искусственного интеллекта, где теория — это
набор предположений, на которых основано значение соответствующего понятия.
[ИСО 18629-1:2004. статья 3.1.31]
3.1.26 область обсуждения (untverse of discourse): Совокупность конкретных или абстрактных ве
щей. относящихся к области реального мира, выбранных в соответствии с интересом, который они пред
ставляют для системы, подлежащей моделированию, и ее окружения.
[ИСО 15531-1:2004. статья 3.6.50]
3.2 Сокращения
В настоящем стандарте применены следующие сокращения:
BNF — форма Бэкуса-Наура (Backus-Naur form):
KIF — формат обмена знаниями (Knowledge Interchange Format);
PSL — язык спецификаций процесса (Process Speafication Language).
4 Общие положения комплекса стандартов ИСО 18629
Комплекс стандартов И С 018629 устанавливает требования к лексике, онтологии и грамматике языка,
используемого для описания производственных процессов.
П р и м е ч а н и е 1 — PSL — это язык, используемый для спецификации производственных процессов,
основанный на математически точно определенных словаре и грамматике. Он отличается от языка, используе
мого для описаний схем и продукта в ИСО 10303, ИСО 13584 и ИСО 15926, а также от языка характеризации
процессов, приведенного в ИСО 15531. но тесно с ним связан и дополняет его. При обмене информацией между
двумя процессами язык PSL определяет каждый процесс, независимо от его поведения (режима работы). На
пример. объект, рассматриваемый как ресурс для одного процесса, считают таким же обьектом. даже если его
рассматривают в качестве продукта второго процесса.
П р и м е ч а н и е 2 — PSL основан на логике первого порядка и использует другие методы спецификации
семантики, используемые в ИСО 10303. Значения понятий, определяемых в рамках PSL. вытекают из набора
аксиом и определений, представленных каждым расширением ядра PSL. Примечания и примеры, приведенные в
стандартах, должны способствовать пониманию языка.
4