Конечное состояние

Top  Previous  Next

Конечное состояние изображается кружком с черным кружком меньшего размера в центре:

07-FinState

 

Из конечного состояния не может исходить ни один переход.

Конечное состояние не может иметь входных или выходных действий, а также локальной деятельности.

 

Переход в конечное состояние означает, что функционирование карты поведения завершилось и, если это карта поведения всей модели в целом

(карта объекта «model»), что завершился вычислительный эксперимент.

 

Предопределенная функция finalized(obj: object) возвращает значение true, если собственное поведение объекта obj задается

картой поведения и текущим в этой карте поведения является конечное состояние.

 

В карте поведения может существоать несколько конечных состояний.