- •Учебный курс
- •Диаграмма конечного автомата
- •Основные обозначения на конечного автомата
- •Примеры обозначений на конечного автомата
- •Простое состояние (simple state)
- •Простое состояние с внутренними действиями
- •Секция внутренней деятельности
- •Спецификация внутренних действий состояния
- •Внутренние переходы и отложенные события
- •Спецификация перехода
- •Спецификация перехода
- •Составной переход (compound transition)
- •Пример составного перехода
- •Конфликтующие переходы
- •Псевдосостояния (pseudo state)
- •Начальное псевдосостояние, узел завершения и пример их использования
- •Выбор и соединение
- •Разделение и слияние
- •Точки входа и выхода
- •Композитные состояния и регионы
- •Обозначение простого композитного состояния
- •Пример композитного состояния с регионом и нотация ортогональных регионов
- •Вход в простое композитное состояние
- •Вход в простое композитное состояние
- •Вход в простое композитное состояние
- •Выход из простого композитного состояния
- •Выход из простого композитного состояния
- •Выход из простого композитного состояния
- •Выход из простого композитного состояния
- •Пример диаграммы конечного автомата
- •Псевдосостояние неглубокой истории
- •Вход в простое композитное состояние
- •Псевдосостояние глубокой истории
- •Ортогональное композитное состояние
- •Изменение ортогональных подсостояний
- •Вход и выход в ортогональном композитном
- •Исключительный выход из ортогонального подсостояния
- •Передача и прием сигнала
- •Пример диаграммы конечного автомата с символами приема сигнала и передачи сигнала
- •Композитные состояния с пиктограммой
- •Самостоятельное задание №6
Обозначение простого композитного состояния
Любое состояние, заключенное в регион композитного состояния, называется подсостоянием (substate) этого композитного состояния
Оно называется прямым подсостоянием (direct substate), если оно
не содержится в никаком другом состоянии; в противном случае оно называется непрямым подсостоянием (indirect substate).
Пример композитного состояния с регионом и нотация ортогональных регионов
Дозвондоабонента
Начало |
Имя |
entry /начать тонвызов
exit /остановить тонвызов Ортогональный регион1
наборцифры(n)
отменен
Наборномера |
Ортогональный |
|
entry /номер.добавить(n) |
регион2 |
|
наборцифры(n) |
[номерполный]
[номерполный]
Вход в простое композитное состояние
Вход по умолчанию. Графически это изображается некоторым входящим переходом, который оканчивается на границе символа данного композитного состояния
Вход в простое композитное состояние
Явный вход. Если переход входит в некоторое подсостояние простого композитного состояния, то такое подсостояние становится активным, а его входное действие выполняется после выполнения входного действия композитного состояния.
Вход в простое композитное состояние
Вход в точку входа. Если переход входит в простое композитное состояние через точку входа, то выполняется входное поведение композитного состояния до действия, ассоциированного с тем внутренним переходом, который выходит из этой точки входа.
stm |
Вводсуммы ATM |
|
|
|
|
|
отмена |
|
Выбор суммы |
сумма выбрана |
|
выбор другой |
сумма введена |
|
|
|
суммы |
|
|
|
|
Вводдругой |
отмена |
повторный ввод |
суммы |
отменен |
|
|
|||
|
|
|
Выход из простого композитного состояния
Выход по умолчанию. Графически это изображается некоторым выходящим переходом, который берет начало на границе символа простого композитного состояния и не содержит имени триггерного события.
Выход из простого композитного состояния
Явный выход. Графически это также изображается выходящим переходом, который берет начало на границе символа простого композитного состояния и содержит имя некоторого триггерного события. Такой переход также называют внешним (external) переходом.
При этом выполняются выходные действия композитного состояния после выполнения выходных действий подсостояния источника. Это правило применяется рекурсивно, если переход выходит из транзитивно вложенного композитного состояния.
Выход из простого композитного состояния
Выход по верхнеуровневому переходу. Если переход выходит из некоторого подсостояния и пересекает границу простого композитного состояния, то срабатывание такого перехода приводит к выходу из этого композитного состояния и делает
активным целевое состояние этого перехода. Такой переход называется верхнеуровневым переходом
Выход из простого композитного состояния
Выход из точки выхода. Если в простом композитном состоянии происходит выход через точку выхода, то выходные действия композитного состояния выполняются перед действиями, ассоциированными с переходом, выходящим из этой точки выхода.
Редактирование текста
entry/ перевести редактор в активный режим exit/ перевести редактор в пассивный режим
H |
Набор текста |
|
|
исправления |
|
набор закончен |
|
внесены |
|
прерывание |
|
Внесение |
Проверка |
||
|
|||
исправлений |
правописания |
прерывано |
|
|
|
||
проверка закончена |
|
|
|
[ошибки есть] |
|
[ошибок нет] |