Диаграммы состояний UML и машины Мура / Мили - PullRequest
Новая
       18

Диаграммы состояний UML и машины Мура / Мили

0 голосов
/ 10 мая 2018

Как моделировать машины Мура и Мили с помощью диаграмм состояний UML? Кроме того, как представить результаты на этих диаграммах? Через действия?

Ответы [ 2 ]

0 голосов
/ 24 мая 2018

Диаграммы состояний UML имеют характеристики конечных автоматов Мили и Мура.

Чтобы представить чисто машину Мили, вы используете только действия с переходами: 

stateA -- TRIGGER [guard] / action() --> stateB

Чтобы представить чистый компьютер Мура, вы используете только действия входа или выхода для состояний, но вы не используете действия при переходах: 

stateA
   entry/ actionA();

stateB
   entry/ actionB();

Когда вы используете оба действия для переходов и действия входа / выхода в состояниях, у вас есть смесь машин Мили и Мура.

0 голосов
/ 10 мая 2018

Машина состояний может определять поведение (стр. 309 последних спецификаций UML 2.5.1):

14.2.3.4.3 Поведение состояний входа, выхода и doActivity

Государство может иметь ассоциированное поведение вхождения. Это поведение, если оно определено, выполняется всякий раз, когда состояние вводится через внешний переход. Кроме того, состояние может также иметь ассоциированное поведение при выходе, которое, если оно определено, выполняется всякий раз, когда выполняется выход из состояния.

Штат также может иметь ассоциированное поведение doActivity. Это Поведение начинается выполнение, когда вводится Штат (но только после того, как Поведение при входе в Государство завершено) и выполняется одновременно с любыми другими Поведениями, которые могут быть связаны с Штатом, до:

  • завершается (в этом случае генерируется событие завершения) или
  • Состояние завершено, и в этом случае выполнение поведения doActivity прекращается.

Исполнение поведенческого поведения государства не зависит от запуска внутреннего Перехода этого государства.

Продолжайте читать на с. 320 о нотации последнего.

...