|
г, — признак запрета отображения названия фрагмента; г0 — признак запрета возможности перехода от данного фрагмента к другому произвольному фрагменту. Матрица смежности фрагментов (переходы): Т = Су[, где Су — условие, определяющее переход от i-ro фрагмента к j-му. (ц щ ttfFJ) у,; (tij &j ip(Fj)), i=l..N, j=l..N, если переход Си = предусмотрен; О, в противном случае, где N — количество фрагментов в структурном элементе; Гу— результат предъявления фрагмента; щ — операция сравнения фактического и заданного результатов предъявления фрагмента ( < , < = , > >); ty — продолжительность предъявления фрагмента; /Зу — операция сравнения фактической и заданной продолжительности предъявления фрагмента ( < , <=, > >); Уу — логическая операция комбинирования условий на результат и продолжительность предъявления фрагмента (v, Л); — функция определения фактического результата предъявления фрагмента Fc, \J/(Fi) — функция определения фактической продолжительности предъявления фрагмента F,-. N Условие корректности переходов определяется как У/= 1..У,ЛСу =0. Структурный элемент представляет S=<(Fl)lslM,T>, i=l..N, где F( — i-й фрагмент; Т — матрица смежности фрагментов. Варианты завершения фрагмента могут быть следующими: • завершился сам (завершились все его мм-потоки), • был завершен пользователем (пользователь нажал кнопку), 57 |
с ,= rs— признак запрета приостановки предъявления фрагмента; г, — признак запрета отображения названия фрагмента; г0 — признак запрета возможности перехода от данного фрагмента к другому произвольному фрагменту. Матрица смежности фрагментов (переходы): Т = \\Су\\, где Су — условие, определяющее переход от i-ro фрагмента к j-му. (гу a,j N Условие корректности переходов определяется как Vi =\..N,ACIJ=0 . Структурный элемент представляет S=<(F,),_XЫ,Т>, где F, — i-й фрагмент; Т — матрица смежности фрагментов. Варианты завершения фрагмента могут быть следующими: • завершился сам (завершились все его мм-потоки), • был завершен пользователем (пользователь нажал кнопку), 96 |