ГОСТ Р ИСО 18629-44 - 2011
Данныйразделхарактеризуетвсеопределения,обусловленные
совместным использованием ресурса.
Важно, что понятие количества, связанное с данным расширением, не
зависит от понятия существования ресурса или понятия идентичности, также
как и от различия между дискретным и непрерывным ресурсом. Главное - это
доступность ресурса для будущих действий. Понятие предоставления ресурса
ограничиваетегодоступность.Количествоопределяетсовместное
использование ресурса по отношению к нескольким совместным действиям.
Предоставлениересурсаопределяетмаксимальный набор совместных
действий, требующих данный ресурс. Таким образом, если количество равно
нулю, то ни одно из действий, требующих данный ресурс, не представляется
возможным.
8.1 Примитивная лексика совместного использования ресурса
Лексикасовместногоиспользованияресурсане требуетникаких
примитивных соотношений.
8.2 Определяемая лексика совместного использования ресурса
Вданном подразделе определены следующие соотношения:
- (consumes quantity ?s1 ?s2 ?a);
- (strict consumes quantity ?s1 ?s2 ?a);
- (produces quantity ?occ1 ?occ2);
- (stricLproduces quantity ?occ);
- (uses quantity ?occ);
- (creates ?occ);
- (destroys ?occ);
- (fixed quantity ?r);
- (nonreplenishable ?r);
- (uses ?a ?r);
- (consumes ?a ?r);
- (strict ,consumes ?a ?r);
- (produces ?a ?r);
- (strict_produces ?a ?r);
- (provides ?a ?r);
17