ГОСТ Р ИСО 18629-1—2010
В комплексе стандартов ИСО 18629 приведена информация, относящаяся к процессам произ
водства (см. ИСО 15531-1). а также способы использования продукта и компонентов (см. ИСО 10303-1 и
ИСО 13584-1). Предполагается, что информация о процессах, приведенная в комплексе стандартов
ИСО 18629. должна быть совместима с данными управления процессом (ИСО 15531). Для этого необ
ходимо. чтобы все стандарты комплекса ИСО 18629 были согласованы с соответствующими стандар
тами комплекса ИСО 15531.
Основной задачей комплекса стандартов ИСО 18629 является создание языка спецификации
процессов, а не языка характеризации процессов. Язык спецификации процессов состоит из лекси ки.
онтологии и грамматики, требуемых для необходимых описаний процессов. Язык спецификации
процессов предусматривает названия, определения и аксиомы процессов, независимо от их режима
работы (поведения) и возможностей. Язык характеризации процессов описывает возможное поведение и
возможности процессов.
П р и м е ч а н и е 1— Языкспецификации процессов — это язык, необходимый для определения процесса
или последовательности процессов, включая параметры поддержки и установки. Это может быть использовано
для директивных и описательных целей. Этот язык отличается от языка характеризации процессов (также
называ емого языком технологического моделирования), который может быть определен как язык, описывающий
поведе ние и возможности процессов.
П р и м е ч а н и е 2 — PSL — это язык, используемый для спецификации производственных процессов,
основанный на математически точно определенных словаре и грамматике. Он отличается от языка, используемого
для описаний схем и продукта в ИСО 10303. ИСО 13584 и ИСО 15926. а также от языка характеризации процессов,
приведенного в ИСО 15531, но тесно с ним связан и дополняет его. При обмене информацией между двумя про
цессами язык PSL определяет каждый процесс независимо от его поведения (режима работы). Например обьект.
рассматриваемый как ресурс для одного процесса, считают таким же обьектом. даже если его рассматривают в
качестве продукта второго процесса.
П р и м е ч а н и е
3
— PSL основан на логике первого порядка и использует другие методы специфика
ции семантики, используемые в ИСО 10303. Значения понятий, определяемых в рамках PSL. вытекают из набора
аксиом и определений, представленных каждым расширением ядра PSL. Примечания и примеры,
приведенные в стандартах, должны способствовать пониманию языка.
В область применения комплекса стандартов ИСО 18629 входят:
- спецификация информации о процессе, связанная с процессами дискретного производства.
Пример — Декомпозиция деятельности, последовательность процесса, длительность;
- обмен и разделение информации о процессе в рамках одной отрасли промышленности или не
скольких промышленных отраслей.
В область применения комплекса стандартов ИСО 18629 не входят:
- язык, структура и методология, применяемые для спецификации предприятия в целом;
- спецификация и обмен информацией о продукте;
- спецификация и обмен интерпретируемой на компьютере библиотечной информации,
- информация о техническом обслуживании.
Пример — Техническая информация, включенная в руководства по ремонту механизмов, работе
и обслуживанию.
4.2 Фундаментальные принципы языка спецификации процессов
Первичным компонентом PSL является его терминология, относящаяся к классам процессов
и взаимосвязям между процессами и ресурсами, а также сами определения классов и взаимосвязей.
Терминологическая лексика с необходимой спецификацией значений терминов образует онтологию.
В комплексе стандартов ИСО 18629 онтология — это онтология PSL для процессов.
П р и м е ч а н и е
1 — Дополнительная информация приведена в (6).
П р и м е ч а н и е
2 — Основной задачей является достижение точности определений значений терминов
онтологии, так как вое предполагаемое может быть источником двусмысленности.
Комплекс стандартов ИСО 18629 представляет строгую математическую характеристику инфор
мации о процессе, а также точное выражение основных логических особенностей этой информации в
PSL. В представленной онтологии определяют три понятия:
- язык:
- спецификацию моделей;
- теорию доказательств (аксиомы и определения).
6