|
73 б) динамичностью: инициатор имеет возможность перемещаться от оператора к оператору; будем называть попадание инициатора на оператор сцеплением инициатора с элементарным оператором; в) инициативностью: в момент сцепления инициатора с оператором происходит выполнение элементарного оператора, что соответствует вычислению нового состояния процесса. Модель описания процесса предполагает, что моменты сцепления инициатора с элементарными операторами определяют сами элементарные операторы. Оператор условия сцепления h f определяет условие, при выполнении которого инициатор сцепляется с оператором A f+,. Таким образом: где: оператор условия сцепления; h\ оператор временного условия; he\ оператор логического условия; h,,e\ оператор комбинированного условия. Расширим понятие элементарного оператора, добавив к нему помимо оператора he\ оператор И’-у Таким образом, окончательно определим элементарный оператор h\, как двойку: При сцеплении инициатора с элементарным оператором h\ происходит мгновенное выполнение его обеих составных частей: выполнение А * позволяет вычислить новое состояние s\ процесса Z, а выполнение оператора Wi дает возможность определить момент времени, либо логическое условие сцепления инициатора со следующим элементарным оператором hi+i. Алгоритмическая модель процесса Алгоритмическая модель процесса есть тройка: (2.7) (2.8) |
109 б) динамичностью: инициатор имеет возможность перемещаться от оператора к оператору; будем называть попадание инициатора на оператор сцеплением инициатора с элементарным оператором; в) инициативностью: в момент сцепления инициатора с оператором происходит выполнение элементарного оператора, что соответствует вычислению нового состояния процесса. Модель описания процесса предполагает, что моменты сцепления инициатора с элементарными операторами определяют сами элементарные операторы. Оператор условия сцепления А/ 1 определяет условие, при выполнении которого инициатор сцепляется с оператором /£ ,. Таким образом: где: И, оператор условия сцепления; h\ оператор временного условия; Ас, оператор логического условия; hlc, оператор комбинированного условия. Расширим понятие элементарного оператора, добавив к нему помимо оператора h°, оператор А*',. Таким образом, окончательно определим элементарный оператор А„ как двойку: При сцеплении инициатора с элементарным оператором А, происходит мгновенное выполнение его обеих составных частей: выполнение h \ позволяет вычислить новое состояние s, процесса Z, а выполнение оператора Av, дает возможность определить момент времени, либо логическое условие сцепления инициатора со следующим элементарным оператором А,+/. Алгоритмическая модель процесса Алгоритмическая модель процесса есть тройка: (2.16) (2.17) |