ГОСТ Р ИСО 18629-13-2011
Примечание - PSL - это язык для описания производственных процессов,
основанный на математически строго определенном лексическом наборе и
грамматике. Этот язык существенно отличается от других языков, например от языка
EXPRESS (определенного в ИСО 10303-11), и используется, например, в ИСО 10303-41,
ИСО 10303-42, ИСО 10303-49, ИСО 13584. ИСО 15531 и ИСО 15926, являясь
признанным языком моделирования. В области обмена информацией между двумя
процессами PSL-язык позволяет описывать каждый процесс независимо от его
характера. Например, объект, рассматриваемый как ресурс в одном процессе, может
считаться аналогичным объектомдаже несмотря на то, что вдругом процессеон будет
рассматриваться как продукт (изделие). PSL-язык основан на математической теории
множеств иситуационном исчислении (см. ИСО 18629-11: 2005, приложение D).
В частях 11— 19 ИСО 18629 определены базовые теории, необходимые
дляполучениячеткихопределенийисоответствующихаксиомдля
элементарных понятий ИСО 18629, что позволяет осуществлять точный
семантический переход между различными логическими структурами.
Применение частей 11 —19 ИСО 18629 обеспечивает:
- представление основных элементов языка;
- стандартизованный набор аксиом, которые отвечают интуитивным
семантическимпонятиям,достаточнымдляописанияосновных
производственных процессов;
- набор правил для разработки в соответствии с PSL-Core других базовых
теорий или расширений, например расширений, рассмотренных в частях 41 —
49 комплекса международных стандартов ИСО 18629.
5 Структура настоящего стандарта
В настоящем стандарте рассмотрены следующие базовые теории:
- теорияупорядоченияэлементовсубопераций(функциональной
подгруппы) (soo.th);
- теория продолжительности операций (duration.th);
- теория автоморфизма дерева элементов (preserve.th);
- теория оболочки операций (envelope.th).
9