Действия и их формализация

Ресурсы в процессе функционирования СДС выполняют определенные действия, взаимодействуя между собой. С каждым действием связано два события - его начала и окончания. Так действие обслуживания клиента парикмахером связано с событиями «Начало_обслуживания» и «Окончание_обслуживания». Эти события разнесены во времени, причем длительность действия в данном примере является случайной величиной, зависящей от многих причин - вид обслуживания, усталость парикмахера, увлеченность разговором и др.

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

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

Используя понятие события, целенаправленное действие изменения состояния системы можно описать через события начала и окончания действия:

,

где - состояние системы перед и после наступления события , соответственно; - состояние системы перед и после наступления события , соответственно; - время начала и конца действия.

По аналогии с ресурсами, релевантными событию, определим множество ресурсов , релевантных действию а, как объединение множеств ресурсов, релевантных событиям начала и конца действия:

.

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

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

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

,

где - множество действий; - множество нерегулярных событий; - отношение предшествования во времени.

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

где - алгоритмы преобразования параметров, описывающих состояние ресурсов при событиях и ; - состояние ресурсов, релевантных действию , до событий начала и конца действия.

Действие может начаться, если значения параметров его релевантных ресурсов отвечает некоторому условию. Например, действие обслуживания клиента в парикмахерской может начаться, если имеется клиент и парикмахер свободен. В противном случае действие начаться не может. Условие начала действия можно представить как некоторое логическое выражение , принимающее значения ИСТИНА или ЛОЖЬ (TRUE, FALS), в зависимости от текущего состояния релевантных действию ресурсов.

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

Таким образом, виртуальное действие можно представить как:

.

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