Сборники трудов ИСП РАН


Анализ и трансформации исполняемых UML моделей.

Е.Д. Волкова, А.Д. Страбыкин.

Аннотация

В статье рассмотрены конечные автоматы языка UML, представлен подход к анализу исполняемых моделей UML. На основании выборки моделей, использованных в промышленных проектах, исследованы их количественные свойства и продемонстрирована актуальность трансформации моделей. Выделены образцы, часто используемые при построении автоматов. Предложены новые трансформации, улучшающие структуру модели, описан процесс их применения к реальной системе.

Издание

Труды Института системного программирования РАН, том 9, 2006, стр. 171-192.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

Полный текст статьи в формате pdf Вернуться к содержанию тома