|
98 [14,19, 64]: 1) A=> AB{(Zi,Z2,...,Zk)} {0} ИЛИ I •> Zi •> • • ’’Zii} {(?/)’ где А,В функции управления; z,„ = m(rm\p(rm)’ rm значение m-го ресурса, требуемого при исполнении функции Z?(l Выбор значения Zm определяется направлением соответствующего ребра использования ресурса из множества ER: при наличии ребра (-S,rm)z,„ = р(гт), а ПРИ наличии ребра (г„,,#)д,„ = т(г,п). Тогда в общем случае методы синтеза атрибутов, обеспечивающих последовательную и информационную связность порождаемой функции управления, будут иметь вид [14, 19, 64]: w^:(z^z'2J---,zO=(/:(z?9’/2fe’9’"-’/i(z71)) для />L пРи z = l /w5i:(z^z^---,zi)=(z^z2,---,z9’ где z!„ = 0, если не существует ни одного из ребер (1,Гда), (г,„,1), принадлежащих множеству ER . Определяем функции f. метода т &, обеспечивающие последовательную связность, следующим образом: |
3) So => A {(Z1, z2, ..., Zk)} {Oj} или So’ => A {(zi, z2....... zk)} {о}, где s0 e Vo. При этом предполагается, что бизнес-функция В не может одновременно использовать и накапливать один и тот же ресурс, что с очевидностью следует из введенного в главе 2 графа бизнес-процесса (на уровне бизнес-операций). Отметим, что выбор значения zm определяется направлением соответствующего ребра использования ресурса из множества ER: при наличии ребра (В, rm) zm = р(гт), а при наличии ребра (гт, В) zm = т(гт). Определим теперь методы синтеза атрибутов, обеспечивающие последовательную и информационную связность порождаемого бизнеспроцесса. В общем случае эти методы теперь имеют вид: msj: (zi z2', ..., zk') = '(ziи), f2'(z2''1), ..., fk'(zk h1)) для i>1 При i=1 msi : (z/, z2 1, ..., zk 1) = (z/, z2 1, ..., zk 1), где zm 1=0, если не существует ни одного из ребер (1, rm), (rm,1), принадлежащих множеству ER. Определим функции fj' метода msit обеспечивающие последовательную связность, следующим образом: • если zjи = m1-1 (q), то fj ’(Zj и)= р1 (q) или fj '(Zj и)= m' (0) • если Zjи = р и (q), то fj ‘(Zj и)= m' (q) или fj '(zj и)= p' (0) • если Zjи = 0, то fj l(Zj и)= р1 (q) или fj '(Zj и)= m' (q) или fj '(Zj и)= 0 Таким образом, к каждому порождающему правилу фактически привязывается семейство методов мощностью от 2k до 3 k (k= IR ). При этом для всех без исключения правил это семейство методов является одним и тем же. Приведенный в главе 2 алгоритм автоматического порождения вариантов исполнения бизнес-процесса, т.е. всех возможных цепочек, порождаемых соответствующей грамматикой, может быть легко модифицирован для порождения всех правильных цепочек языка, удовлетворяющих требованиям критерия последовательной связности. Для этой цели в шаги 2.1 и 3 должны быть включены внутренние циклы по числу методов синтеза. Определим теперь функции fj1 метода msj, обеспечивающие информационную связность, следующим образом: 159 |