67 Механизмы синхронизации и обмена данными Роль А Га1 ------> r*i ► ► Правила — Поле данных Роль В Рис. 2.6. В точках их активации выполняется синхронизация, j — находится в ожидании, пока фрагмент i не выложит в общее поле данных ожидаемый информационный ресурс г^, либо пока фрагмент j не передаст фрагменту j ожидаемые данные непосредственно, i — по завершению действий пользователя или окончанию обработки каких-либо данных, выполняет действие, ожидаемое фрагментом j. В общем случае, результат выполнения фрагмента i может влиять на ход выполнения сценария как в роли А, так и в роли В. Такая схема представления элементарных приложений и их взаимосвязь эквивалентна концепции имитационного моделирования, где роль исполняемых приложений выполняют операторы моделирующего алгоритма. 2.4.3. Инвариантная составляющая процессов реализации пользовательских сценариев Процесс Z есть четверка: где: S пространство состояний (уровень понимания некоторого терма); Т множество времен изменения состояний процесса; F фазовая Z= |
основе общего поля данных по принципу «положил-взял» и непосредственного взаимодействия фрагментов, где i и j — фрагменты параллельных ветвей одного сценария. Механизмы синхронизации и обмена данными 103 Роль В Рис. 2.14. В точках их активации выполняется синхронизация, j — находится в ожидании, пока фрагмент i не выложит в общее поле данных ожидаемый информационный ресурс г^, либо пока фрагмент i не передаст фрагменту j ожидаемые данные непосредственно, i — по завершению действий пользователя или окончанию обработки каких-либо данных, выполняет действие, ожидаемое фрагментом j. В общем случае, результат выполнения фрагмента i может влиять на ход выполнения сценария как в роли А, так и в роли В. Такая схема представления элементарных приложений и их взаимосвязь эквивалентна концепции имитационного моделирования, где роль исполняемых приложений выполняют операторы моделирующего алгоритма. 2.3.1. Инвариантная составляющая имитационных процессов и реализации сценария Процесс Z есть четверка: Z= |