Диаграмма.
Управление бизнес-процессами: современные методы.
SVD представляет собой ориентированный граф. Каждому узлу приписывается состояние, в котором находится субъект Subj, когда производится соответствующее действие service {node). Мы называем такое состояние состоянием SID и записываем его как SIDstate (subj) (Subject Interaction Diagram state), так как абстрактная интерпретация service (node) относится только к роли, проигрываемой состоянием… Читать ещё >
Диаграмма. Управление бизнес-процессами: современные методы. (реферат, курсовая, диплом, контрольная)
SVD представляет собой ориентированный граф. Каждому узлу приписывается состояние, в котором находится субъект Subj, когда производится соответствующее действие service {node). Мы называем такое состояние состоянием SID и записываем его как SIDstate (subj) (Subject Interaction Diagram state), так как абстрактная интерпретация service (node) относится только к роли, проигрываемой состоянием по отношению к другим субъектам, с которыми общается Subj из D. Мы определяем состояния и узлы. Каждое 5Ш-состояние имеет один из трех типов, соответствующих типу определенного сервиса: функциональное состояние (также называется внутренним функциональным состоянием или состоянием действия), состояние отправления или приема. Каждое SID-состояние внутренне параметризовано через SVD, в котором он происходит и который мы иногда отмечаем как индекс в SID stateD (subject) и SIDstate (subject, D). Каждое ЗУО-состояние является частью общего так называемого состояния данных или просто состояния (читай ниже структуру Тарского SVD).
Стекающиеся в узел node или исходящие из него края Edge представляют переходы SID-состояния от начального узла source (edge) к node или из node к целевому узлу target (edge). Вот почему мы называем target (outedge) outEdge Е outEdge (node) также состоянием последствия от node — в диаграмме элемент множества successor (node) — и source (inEdge) inEdge InEdge (node) — предыдущее состояние — элемент множества Predecessor (node).
Переход от исходного состояния к узлу назначения допускается только тогда, когда выполнение предписанного исходному узлу сервиса полностью завершено (Completed) так, что каждый исходящий край соответствует условию перехода сервиса, которое обычно помечено на краю как ExitCond. Мы пишем ExitCondl для ExitCond исходящего края /, когда есть несколько таких краев. Каждый SVD конечен и имеет начальное и хотя бы одно конечное состояние. Каждый муть должен привести к минимум одному конечному состоянию; допускается, что конечные состояния имеют исходящие края, но процесс считается завершенным только тогда, когда каждый из его субъектов находится в конечном состоянии.