Аннотация:В выпускной квалификационной работе осуществлена практическая реализация автоматизированной проверки UML-моделей. Рассматриваются модели, содержащие ограничения, которые накладываются на структуру и поведение определяемых систем. В ходе проверки выполняются сценарии, которые описывают исследуемое поведение систем,
в результате чего могут быть выявлены дефекты моделей.
Построенное в рамках работы программное средство состоит из среды моделирования, среды проверки текстовых объектных спецификаций и созданного преобразователя
UML-моделей в текстовые описания. Работа преобразователя базируется на предложенном наборе правил, устанавливающих соответствие между элементами языка UML и языка текстовых объектных спецификаций.