|
где А м нож ество действий; Е м нож ество нерегулярны х собы тий; > отнош ение предш ествования во времени. Д ля регулярного собы тия м ож но указать алгоритм F преобразования С ' ——>С*, которы й определяется законом ерностям и ф ункционирования С Д С . П оэтом у действие а м ож но представить следую щ им образом: где FH,FK алгоритм ы преобразован ия парам етров, описы ваю щ их состояние ресурсов при собы тиях ен п ек ; С'н k{r ") состояние ресурсов, релевантны х действию а , до собы тий н ачала и кон ц а действия. Д ействие а м ож ет начаться, если зн ачен ия парам етров его релевантны х ресурсов Сд(ла) отвечает некотором у условию . У словие начала действия м ож но представить как некоторое логическое вы раж ение />(я‘7), приним аю щ ее значения И С ТИ Н А или Л О Ж Ь (TR U E, FA LS), в зависим ости от текущ его состояния релевантны х действию ресурсов. Д ействие привязано ко врем енной оси: начинается в м ом ент tH и кончается в tK . Е сли в описании дей ствия и склю чить привязку к временной оси, оставив лиш ь длительность его вы полнения A t, то получим ви р т уа льн о е д ей с т ви е (возм ож ное). В иртуальное действие м ож ет начаться (но не обязательно начнется), если для м нож ества Я“ релевантны х ем у ресурсов вы полняется условие p(li',) = TRU E. Т аким образом , виртуальное действие м ож но представить как: v = { f(r '-} fh { c ^ r ^ \ ( c k (r '-Ia c}. В иртуальное действие отраж ает (алгоритм ы FH,Fk и условие p (r v)) логику взаим овлияния ресурсов С Д С в процессе ф ункционирования. В сякий раз, когда состояние СДС удовлетворяет условию начала виртуального действия, м ож ет произойти действие а , соответствую щ ее данном у виртуальном у и им ею щ ее определенны е врем ена t„,iK. Т о есть виртуальное 63 |
Для регулярного события можно указать алгоритм F преобразования С —^—>С+, который определяется закономерностями функционирования СДС. Поэтому действие а можно представить следующим образом: a =(FH(Cx(R°lFK(c-{R''ltl{itK) где FH,FK алгоритмы преобразования параметров, описывающих состояние ресурсов при событиях ен и ек ; С~н к(л“) состояние ресурсов, релевантных действию а , до событий начала и конца действия. Действие а может начаться, если значения параметров его релевантных ресурсов С^(л9) отвечает некоторому условию. Например, действие обслуживания клиента может начаться если имеется клиент и ОА свободен. В противном случае действие начаться не может. Условие начала действия можно представить как некоторое логическое выражение Р(ка), принимающее значения ИСТИНА или ЛОЖЬ (TRUE, FAI-S), в зависимости от текущего состояния релевантных действию ресурсов. Действие привязано ко временной оси: начинается в м ом ент' tH и кончается в ск . Если в описании действия исключить привязку к временной оси, оставив лишь длительность его выполнения At, то получим виртуальное действие (возможное). Виртуальное действие может начаться (но не обязательно начнется), если для множества Rv релевантных ему ресурсов выполняется условие p(R“)=TRUE. Таким образом виртуальное действие можно представить как: Виртуальное действие отражает (алгоритмы FU,FK и условие p {r v)) логику взаимовлияния ресурсов СДС в процессе функционирования. Всякий раз, когда состояние СДС удовлетворяет условию начала виртуального действия, может произойти действие а, соответствующее данному виртуалыюму и имеющее определенные времена tu,tK. То есть виртуальное действие описывает, что может произойти в СДС и при каких условиях, а действие что произошло/происходит/произойдет и в какое время. |