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

Приведенное выше описание действия позволяет формализовать законы функционирования системы для дальнейшего их использования в ИМ. Однако для этого имеется ряд препятствий. Во-первых, система, являясь сложной, характеризуется чрезвычайно большим числом действий, отличающихся используемыми ресурсами, временем протекания и т.д. В процессе функционирования системы в ней появляются все новые и новые временные ресурсы и соответствующие действия. Во-вторых, одно и тоже действие может выполняться различными ресурсами (взаимозаменяемыми), что еще больше увеличивает размерность задачи.

Выходом из этого положения является констатация того факта, что множество виртуальных действий , относящихся к определенной системе, может быть разбито на небольшое число подмножеств действий, имеющих одинаковую природу. Это подмножества, которые составляют, например, действия транспортировки, обслуживания, ремонта и т.д. Виртуальные действия, принадлежащие такому подмножеству , имеют одинаковую логику взаимодействия ресурсов, и различаются лишь конкретными ресурсами в них участвующими. Подмножество описывается следующим образом:

,

где - множество всех возможных множеств релевантных ресурcов, с использованием которых можно выполнить виртуальное действие , а - длительность выполнения виртуального действия, зависящая от состояния используемых виртуальных ресурсов СДС.

Таким образом, принадлежность виртуальных действий к определенному типу означает, что для них , и одинаковы, т.е. действия одного типа одинаковым образом меняют состояние релевантных ресурсов, требуют одинаковых условий начала по всем ресурсам, и отличаются лишь множествами , используемых ресурсов и временем выполнения.

Для формального описания логики виртуальных действий, принадлежащих подмножеству , введем понятие операции.

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

,

где - описание множества ; - множество формальных ресурсов операции.

Операцию o в некотором смысле можно уподобить подпрограмме, в которой , и - условие выполнения и алгоритмы, описанные в формальных параметрах.

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

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

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

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