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


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


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

Рис. 15. Результат трансформации: спецификация составного состояния On

Создание в автомате S нового составного состояния B, явно содержащего состояния A1…An, корректно в том и только том случае, когда это добавление не нарушает строгую иерархию состояний по включению. Иными словами, новое состояние, будучи изображенным на любой диаграмме состояний, описывающей автомат, не должно пересекать границы уже существующих состояний. Перенос перехода T из состояний D1…Dn в состояние E корректен только в том случае, если E является составным состоянием и не содержит явно никаких состояний, кроме D1…Dn, а в каждом из состояний D1…Dn есть либо переход, эквивалентный T, либо переход, срабатывающий при тех же условиях, что и T.

Рис. 16. Результат трансформации: модифицированный исходный автомат




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



Книжный магазин