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

       

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

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

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

Трансформация выделение составного состояния для конечных автоматов UML
Выделение составного состояния для скрытия деталей реализации
Метод текстового сравнения переходов
Выделение составного состояния по общему переходу
Выделение составного состояния для моделей, импортированных из SDL

Пример Мобильный телефон
Заключение
Литература