ГОСТ Р ИСО 18629-44 - 2011
14.5Определения для действий процессора
Определены нижеследующие понятия для действий процессора, которые
образуют подкласс действий, определенных по отношению к назначению
ресурса.
14.5.1 processor_activity
Действие процессора представляет собой класс действий, использующих
некоторый набор ресурсов, потребляющих некоторый другой набор ресурсов и
производящий набор объектов.
Пример - Действия процессора являются типичными производственными
процессами, особенно это относится к поддействиям планов технологического
процесса и моделей логистических цепочек.
(forall (?а) (iff (processor_activity ?а)
(exists (?r1 ?r2 ?r3)
(and (or (reusable ?г1 ?a)
(possibly_reusable ?r
1
?a))
(or (consumable ?r2 ?a)
(possibly_consumable ?r2 ?a)
(or (consumable ?r3 ?a)
(possibly_consumable ?r3 ?a)
(creates ?a ?r3)))))
14.5.2 processor resource
Объект ?r является ресурсом процессора для некоторого действия ?а,
если ?а является действием процессора, использующим ?г.
Пример - В типовом производственном случае ресурсом процессора является
станок или инструмент.
(forall (?r ?а) (iff (processor_resource ?r ?а)
(and (processor_activity ?a)
(reusable ?r1 ?a)
(possibly_reusable ?r1 ?a))))
14.5.3 input_material
Объект ?r является входным материалом для некоторого действия ?а
тогда и только тогда, когда ?а является действием процессора, потребляющим
или возможно потребляющим ?г.
Пример - Ресурсы входных материалов определяются строго по назначению
ресурса. В типовом производственном случав потребляемые ресурсы (например,
сырьевые материалы) следует рассматривать как входные материалы.
(forall (?r ?а) (iff (input_material ?r ?а)
36