ГОСТ Р ИСО 18629-12—2010
3.2 Сокращения
FOL — логика первого порядка (First-Order Logic);
BNF — форма Бэкуса-Наура (Backus-Naurform);
KIF — формат обмена знаниями (Knowledge Interchange Format);
PSL — языкспецификаций процесса (Process Specification Language).
4 Общие положения комплекса стандартов ИСО 18629
Комплекс стандартов ИС0 18629 устанавливает требования клексике, онтологии играмматике языка,
используемогодля описания производственных процессов.
П р и м е ч а н и е 1 — PSL — это язык, используемый для спецификации производственных процессов,
основанный на математически точно определенных словаре и грамматике. Он отличается от языка, используе
мого для описаний схем и продукта в ИСО 10303. ИСО 13584 и ИСО 15926. а также от языка характеризации
процессов, приведенного в ИСО 15531, но тесно с ним связан и дополняет его. При обмене информацией между
двумя процессами язык PSL определяет каждый процесс независимо от его поведения (режима работы). Напри
мер. объект, рассматриваемый как ресурс для одного процесса, считают таким же объектом, даже если его
рассматривают в качестве продукта второго процесса.
П р и м е ч а н и е 2 — PSL основан на логике первого порядка и использует другие методы спецификации
семантики, используемые в ИСО 10303. Значения понятий, определяемых в рамках PSL, вытекают из набора
аксиом и определений, представленных каждым расширением ядра PSL. Примечания и примеры, приведенные в
стандартах, должны способствовать пониманию языка.
Вчастяхс 11по 19 комплекса стандартов ИСО 18629 приведены основные теории, необходимые для
представления точных определений иаксиом элементарных концепций. Основные теории обеспечивают
точные семантические переводы между разными схемами.
Части с 11 по 19 распространяются на;
- представлениеосновных элементовязыка;
- обеспечение стандартизованных набороваксиом, соответствующих интуитивным элементарным
семантическим концепциямописания основных процессов:
- сводправил, необходимыхдля разработки другихосновныхтеорий или расширений в соответствии
с ядром языка спецификации процесса.
Данныечасти комплекса стандартов ИСО 18629 не распространяются на:
- представление информации, относящейся к концепциям, неявляющимся частьюосновных теорий.
5 Общие положения настоящего стандарта
В настоящем разделе приведены фундаментальные теории, составляющие внешнее ядро.
5.1 Расширения, входящие во вношнее ядро
Внешнее ядро включает в себя следующиетеории:
- subactivity.th (теория ядра подчиненной деятельности);
- occtree.th (теория ядра дерева случаев):
- disc_state.th (теория ядра дискретных состояний);
- atomic.th (теория ядра атомарной деятельности);
- complex.th (теория ядра составной деятельности);
- act_occ.th (теория ядра случаевдеятельности).
Связи между теориями внешнегоядра изображены на рисунке 1. Стрелками обозначены зависимо
сти между теориями. Все теориивнешнего ядра являются расширениями ядра PSL. Теория ядра атомар
нойдеятельности является расширением как теории подчиненной деятельности, так итеории дереваслу
чаев. а теория ядра дискретных состояний является расширением только теории ядра дерева случаев.
Теория ядра случаев деятельности — это расширение теории ядра составной деятельности, которая,
в свою очередь, является расширением теории атомарной деятельности.
5