Моделирования uml

- описание поведения с явным выделением состояний, 
задается диаграммами автомата; 
- описание поведения с явным выделением потоков данных 
и управления, задается диаграммами деятельности;
- описание 
поведения 
как 
упорядоченной 
последовательности 
сообщений; 
задается 
диаграммами 
взаимодействия в четырех формах;
- описание параллельного поведения, задается специальными 
средствами на каждой из диаграмм описывающих поведение. 
Все эти средства описаны в четырех следующих разделах. 
4.2. ДИАГРАММЫ АВТОМАТА 
 
Диаграммы автомата (state machine diagram) в UML являются 
реализацией основной идеи использования конечных автоматов как 
средства описания алгоритмов и, тем самым, моделирования 
поведения.
Конечные автоматы в UML реализованы довольно своеобразно. 
С одной стороны, в основу положено классическое представление 
автомата в форме графа состояний-переходов. С другой стороны, к 
классической 
форме 
добавлено 
большое 
число 
различных 
расширений и вспомогательных обозначений, которые, строго говоря, 
не обязательны — без них в принципе можно было бы обойтись — но 
они весьма удобны и наглядны при составлении диаграмм. Большую 
часть этих расширений в свое время, независимо от UML, предложил 
Дэвид Харел. Он же ввел термин диаграмма состояний (statechart), 

---

131
инкорпорированный в UML 1 и переименованный в диаграмму 
автомата в UML 2.
Итак, начиная обзор средств моделирования с самого верхнего 
уровня, можно констатировать, что на диаграммах автомата 
применяется всего один тип сущностей — состояния, и всего один 
тип отношений — переходы. Совокупность состояний и переходов 
между ними образует конечный автомат.
Таким образом, типов сущностей и отношений предельно мало, 
но подтипов, вариантов нотации и специальных случаев для них 
определено много (может быть, даже слишком много). 
А именно, состояния бывают: 
- простые (simple), 
- составные (composite) двух видов: ортогональные (orthogonal) 
и нет,
- специальные (pseudo), 
- ссылочные (submachine), 
и каждый тип состояний имеет дополнительные подтипы и различные 
составляющие элементы. 
Переходы бывают простые и составные, и каждый переход 
содержит от двух до пяти составляющих: 
- исходное состояние (source), 
- событие перехода (trigger event), 
- сторожевое условие (guard),
- действие на переходе (effect),
- целевое состояние (target). 
Рассмотрим все эти элементы по порядку.