ИСТИНА |
Войти в систему Регистрация |
|
ФНКЦ РР |
||
В докладе сообщено о методе проверки UML-моделей, не требующем от разработчиков дополнительных усилий по переводу UML-моделей на традиционно используемые текстовые языки спецификаций. В рамках метода по проверяемой UML-модели автоматически генерируется описание на языке Simple OCL-based Imperative Language, которое анализируется средой UML-based UML-based Specification Environment. Заключение, сделанное по результатам такого анализа, сохраняет свою силу для исходной UML-модели, так как при генерации проверяемого описания сохраняются все исследуемые свойства модели. Работа поддержана грантом РФФИ № 14-01-00214.