Взаимодействие SI/D-поведения. 
Управление бизнес-процессами: современные методы.

S-BPM-процесс (коротко процесс) определяется как количество сообщающихся и оснащенных SVD-субъектов так, что поведение процесса можно определить через^{VD-поведение} его субъектов (см. раздел 5.5.5). Это облегчает задачу переводчика S-BPM-процесса при определении ASM не как асинхронную, а как последовательную ASM, которая представляет собой переводчика Behavior_mbj (D) поведения любого субъекта Subj в любом SVD D. Этот переводчик может затем реплицировать (т.е. быть экземпляром процесса) при интерпретации процесса для каждого из его субъектов с относящимися к ним SVD.

Субъект двигается от начального узла, по краям D, и затем от узла к узлу и осуществляет там необходимый сервис до тех пор, пока он не достигнет конечного состояния. Таким образом, общее поведение Subj в D можно определить как сумму локального поведения Behavior {subject, node) Subj в узлах node D:

Behavior_шЬ: (D) = {Behavior (Subj, node) node G node (D)}

Так что^{VD-расчёты} Subj в обычном порядке можно определить как последовательность 5₀, Sn состояний (данных) Subj в диаграмме, которые начинаются с начальных состояний S₀ и SID, переходят в состояние Sn с конечным состоянием SID, где каждое состояние Si + 1 возникает из Si с состоянием SID state_{ с помощью шага Behavior (subj, statej). Перед тем, как эта задача будет выполнена в подпараграфе 12.3.2, обобщим в подпараграфе 12.3.1 необходимые условия соответствующей диаграммы.