Методы композиции и декомпозиции исполняемых UML моделей


Выделение составного состояния по общему возвратному переходу - часть 2


После этого становится возможным переместить состояния A1…An с исходной диаграммы на диаграмму D (Рис. 19), добавив вместо них состояние В и переход Т к исходной диаграмме (Рис. 18).

Рис. 18. Результат трансформации



Рис. 19. Результат трансформации

Данная декомпозиция позволяет упростить описание исходного автомата, сделав его более удобным, а также улучшает структуру автомата, устраняя дублирование действий, выполняемых при срабатывании переходов. «Выделение составного состояния по общему возвратному переходу» может быть применено, если в автомате можно выделить такую группу состояний с единственной входной точкой, что для каждого состояния группы определен возвратный переход по одинаковому для всех состояний стимулу и с эквивалентными для всех состояний действиями.




- Начало -  - Назад -  - Вперед -