Методы композиции и декомпозиции исполняемых UML моделей
Методы композиции и декомпозиции исполняемых UML моделейАннотация.
Введение
Конечные автоматы UML
Методы композиции и декомпозиции для конечных автоматов UML
Трансформация Выделение метода для конечных автоматов UML
Выделение в метод возвратной части конечного автомата
Выделение в метод последовательной части конечного автомата
Необходимые условия для выделения части конечного автомата в метод
Трансформация выделение составного состояния для конечных автоматов UML
Выделение составного состояния для скрытия деталей реализации
Метод текстового сравнения переходов
Выделение составного состояния по общему переходу
Выделение составного состояния для моделей, импортированных из SDL
Пример Мобильный телефон
Заключение
Литература