Операции в СДС

Операция описывает, как происходит действие или виртуальное действие и с какими множествами релевантных ресурсов, то есть что может произойти в СДС при определенных условиях, а действие – что произошло, происходит, произойдет и в какое время.

Приведенное понятие операция может быть представлено как модифицированное правило продукции:

ЕСЛИ (условие) ТО1 (событие 1) ЖДАТЬ (время) ТО2 (событие 2).

В таком виде описанные операции могут формально представляться фреймом и храниться в БЗ, с целью использования в механизме логического вывода.

ОперацияО есть формальное описание множеств однотипных виртуальных действий:

где Е(Ψ) – описание множества Ψ; R_o – множество формальных ресурсов операции.

Операцию О в некотором смысле можно уподобить подпрограмме, в которой P(R_о), F_н(C_н^-(R_о)) и F_к(C_к^-(R_о)) – условие выполнения и алгоритмы, описанные в формальных параметрах.

При задании фактических параметров получаем из операции виртуальное действие. Для этого на место каждого формального ресурса r_i R_o операции О необходимо подставить любой ресурс из некоторого непустого множества однотипных ресурсов.

Операция, следовательно, отражает логику взаимодействия ресурсов системы в процессе функционирования. Всякий раз, когда состояние системы соответствует P(R_o), может происходить действие а, описываемое операцией о, сразличными t_н и t_к.