ГОСТ Р ИСО 18629-14—2011
от его характера. Например, объект, рассматриваемый как ресурс в одном процессе, может признаваться анапогич-
ным объектом даже несмотря на то. что в другом процессе он будет рассматриваться как продукт.
П р и м е ч а н и е 2 — PSL основан на математической теории множеств и ситуационном исчиспении (см.
ИСО 18629-11:2005. припожение В). Как таковой, он придерживается метода, существенно отличающегося от мето
да описания, испопьзуемого существующими языками, определенными в ИСО 10303. Смысл положений в
рамках PSL вытекает из аксиом и вспомогательных определений, а не из формального набора определенных
терминов. Для облегчения понимания примитивного лексикона языка предусмотрен ряд допопнительных
замечаний и приме ров.
В частях 11—19 комплекса международных стандартов ИСО 18629 определены базовые теории,
необходимые для получения четких определений и соответствующих аксиом элементарных понятий,
рассматриваемых в ИСО 18629. что позволяет осуществлять точный семантический переход между
различными логическими структурами.
Применение частей 11—19 ИСО 18629 обеспечивает:
- представление основных элементов языка;
- стандартизованный набор аксиом, которые отвечают интуитивным семантическим понятиям,
достаточным для описания основных производственных процессов:
- набор правил для разработки в соответствии с PSL-Core других базовых теорий или расшире
ний, например расширений, рассмотренных в частях 41 — 49 ИСО 18629.
Следующие вопросы выходят за рамки рассмотрения частей 11 — 19 ИСО 18629:
- представление информации, связанной с понятиями, не входящими в базовые теории.
5 Структура настоящего стандарта
В настоящем стандарте рассмотрены следующие базовые теории:
- теория потребности в ресурсах (requires.th);
- теория комплектности ресурсов (res_set.th);
- теория аддитивных ресурсов (additive.th).
Все теории, представленные в настоящем стандарте, являются расширениями теорий, изложен
ных в ИСО 18629-12 и ИСО 18629-11.
Теория комплектности ресурсов является расширением теории потребности в ресурсах.
6 Теория потребности в ресурсах
Базовая теория потребности в ресурсах дает аксиомы для определения потребности производ
ства в ресурсах, под которыми понимается связь междуобъектом и операцией, причем объект является
ресурсом, если он необходим для какой-либо опорации.
П р и м е ч а н и е — Приведенное здесь понятие ресурса, которое фактически связывается с потребностя
ми в ресурсах, в принципе отличается от понятия ресурсов, определенного в ИСО 15531. тем. что в соответствии с
теорией систем оно исключает из рассмотрения сырье, компоненты и конечную продукцию, преобразованные
сис темой. поскольку не считает их как таковые частью этой системы. Кроме того, согласно ИСО 15531 ресурс
опреде ляется независимо от любой операции (что особенно справедливо в отношении трудовых ресурсов) и
связывается с определенной операцией только в рамках рассматриваемой системы, когда ресурс становится
физической систе мой. ответственной за операцию, которая должна выполняться а ней. До его введения в
систему ресурс является еще нвзадействованным и доступным для операций пюбого вида, которые он может
выпопнять. Трудовые ресурсы могут принимать участие в работах на фрезерных станках в понедельник, а также в
работах по транспортированию во вторник или же ожидать выполнения любой операции в среду (см. ИСО 15531-
31. приложение D).
6.1 Примитивные отношения в теории потребности в ресурсах
Нелогическая лексика теории потребности в ресурсах содержит один примитивный символ отно
шений, а именно:
- requires.
6.2 Примитивные функции в теории потребности в ресурсах
Нелогическая лексика теории потребности в ресурсах содержит три примитивных символа функ
ций, а именно:
- resource_point;
- demand;
- agg_demand.
4