|
124 разбиение на объекты. Таким образом: Ufy=QРазбиение является непересекающимся, если От П О1 = 0. В противном случае разбиение т*1 произведено на пересекающиеся объекты. Если задан процесс ZQ в системе, то процесс в объекте О, может быть определен, как: zo,=npZQ. ^.2) So, При этом \JZ0 = ZQ. о. Пусть имеем объект Oi в системе Q. Тогда генерация процесса Zo может быть выполнена путем задания оператора Н°‘: где: t. е ГО;; А множество аргументов: A сослучайное число. Включение параметра со позволяет задавать оператор от случайных значений аргументов, а также случайные операторы. Если пространство состояния объекта определяется на параметрах OfzQ, то множество аргументов является самостоятельным подмножеством Q:А°‘ <^Q. Анализ соотношений между Ot, А°‘ и Q позволяют произвести следующую классификацию: если А°‘ с О,, то в объекте Oi развивается локальный процесс; еслиЛО/ eg , то процесс в Oi частично зависимый', если А°‘ = Q, то процесс в Oi полнозависимый. В ходе развития процесса множество аргументов А°‘ меняется и в общем случае зависит от времени. Обозначим эту зависимость как А°‘. |
55 2.3. Процессная концепция взаимодействия пользователей с программными приложениями Система определена, как множество (2 некоторых параметров <3^(1=1..п). Если ст^ ) -множество значений, принимаемых параметром ^¡., то пространство состояний системы определяется как . £/,еО Будем рассматривать объект , как составную часть системы: объект 0\ а (). Пространство состояний о п объекта О / определяется аналогично, и 1 как 8 0 — П ^(<¡6) • Будем предполагать, что система всегда имеет полное ' 9,60 разбиение на объекты. Таким образом: и ^ / = 0 Разбиение является V/ непересекаю щ им ся, если ()ШГ \ О , = 0 . В противном случае разбиение т*1 произведено на пересекаю щ иеся объекты. Если задан процесс в системе, то процесс в объекте О / может быть определен, как: 7 оI П р 2 о <>/ (2.2) При этом и О, ' 7 * Пусть имеем объект 0\ в системе Тогда генерация процесса 2 о/ о может быть выполнена путем задания оператора Н 1: о 5 и Н ° ' ( \ \ А ',/.,(0 / (2.3) где: г. е Та ; I А множество аргументов сослучайное число. Включение параметра со позволяет задавать оператор от случайных значений аргументов, а также случайные операторы. 56 Если пространство состояния объекта определяется на параметрах О/аО, то множество аргументов является самостоятельным подмножеством 0 : А°> с Q . Анализ соотношений между О/, А и> и Q позволяют произвести следующую классификацию: если А 01 с О ,,т о в объекте О/ развивается локальный процесс; о о если А 1 а <2, то процесс в О/ част ично зависимый', о если А 1 = () ,то процесс в О/ полнозависимый. В ходе развития процесса множество аргументов А 0' меняется и в общем случае зависит от времени. Обозначим эту зависимость как А, ч Рассмотрим два объекта О/ и О т в системе Пусть О/ П О т 0 , а процессы в них заданы следующими операторами: 5 ОI Н О/ Я о н°т( < " . Если О, П А ," Ф 0 , то объект О т сцеплен с объектом О/ в момент ' ч времени /¡. То же относится и к их процессам. Это означает, что для определения состояния объекта О т в момент времени /¡, необходимо знание состояния объекта О/ в это же время. Обозначим отношение сцепления как 0\-^О т. Если 0 П а ) -ф. 0 , то объект О/ сцеплен с объектом О т в момент т (. О о времени /¡: 0 т-> 0 /. Если одновременно О т П А( 1 Ф 0 и О /( ] А ( ' " Ф 0 , то объекты О ти 0\ взаимно-сцеплены в момент времени Ц: 0 т<->0\. Если к отношению сцепления добавить полное транзитивное замыкание, то получим отношение зависимости. Т.е. если 0 зависит от От, а Ок зависит от О), то Ок зависит и от От. Таким образом, отношение сцепления можно определить как отношение непосредственной зависимости. |