Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Скачиваний:
44
Добавлен:
20.03.2016
Размер:
9.57 Mб
Скачать

StarUNL. Руководство пользователя. Глава 5. Работа с диаграммами

112 / 207

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

Процедура создания субмодели состояний

Чтобы создавать субмодель состояний,

1.Щёлкните [Toolbox] -> [Statechart] -> [SubmachineState].

2.Щёлкните позицию на диаграмме, куда нужно поместить субмодель. Субмодель будет создана, и для неё откроется горячий диалог.

3.В горячем диалоге, введите имя субмодели состояний и нажмите клавишу [Ввод].

Начальное состояние

Семантика

Начальное состояние - своего рода псевдо-состояние, которое обозначает отправную точку в области модели состояний. Она имеет единственный исходящий переход к заданному по умолчанию состоянию области включения, и не имеет никаких входящих переходов. Может быть одно (и только одно) начальное состояние в любой данной области модели состояний. Это - не самостоятельное состояние, а скорее некоторый маркер.

Процедура создания начального состояния

Чтобы создать начальное состояние,

1.Щёлкните [Toolbox] -> [Statechart] -> [InitialState].

2.Затем щёлкните в позиции на диаграмме, где нужно разместить начальное состояние.

Процедура создания начального состояния из состояния

Чтобы создать начальное состояние с исходящим переходом к выбранному объекту, используйте горячий синтаксис.

1.Дважды щёлкните по состоянию. В горячем диалоге, введите строку "-*", а затем имя начального состояния или ничего.

Соседние файлы в папке ПиАПС ЛР2