Операции в СДС
Операцияописывает, как происходит действие или виртуальное действие и с какими множествами релевантных ресурсов, то есть что может произойти в СДС при определенных условиях, а действие – что произошло, происходит, произойдет и в какое время.
Приведенное понятие операция может быть представлено как модифицированное правило продукции:
ЕСЛИ (условие) ТО1 (событие 1) ЖДАТЬ (время) ТО2 (событие 2).
В таком виде описанные операции могут формально представляться фреймом и храниться в БЗ, с целью использования в механизме логического вывода.
ОперацияО есть формальное описание множеств однотипных виртуальных действий:
где Е(Ψ) – описание множества Ψ; Ro – множество формальных ресурсов операции.
Операцию О в некотором смысле можно уподобить подпрограмме, в которой P(Rо), Fн(Cн-(Rо)) и Fк(Cк-(Rо)) – условие выполнения и алгоритмы, описанные в формальных параметрах.
При задании фактических параметров получаем из операции виртуальное действие. Для этого на место каждого формального ресурса ri Ro операции О необходимо подставить любой ресурс из некоторого непустого множества однотипных ресурсов.
Операция, следовательно, отражает логику взаимодействия ресурсов системы в процессе функционирования. Всякий раз, когда состояние системы соответствует P(Ro), может происходить действие а, описываемое операцией о, сразличными tн и tк.
Дата добавления: 2015-09-18; просмотров: 707;