ВИАТРА - VIATRA

В ВИАТРА (VIСуал Аавтоматизированная модель TRAобразования) является ядром среды верификации и валидации на основе преобразований для улучшения качества систем, разработанных с использованием Единый язык моделирования путем автоматической проверки требований к согласованности, полноте и надежности.

Целевые домены приложений

VIATRA2 в первую очередь направлена ​​на проектирование преобразований моделей для поддержки разработки точных систем на основе моделей с помощью невидимых формальных методов. Невидимые формальные методы скрыты автоматическими преобразованиями моделей, проецирующими модели системы в различные математические области (и, желательно, наоборот). Таким образом, VIATRA2 прекрасно дополняет другие инструменты преобразования модели в www.eclipse.org/gmt инициатива.

Наиболее традиционной областью применения VIATRA2, начатой ​​еще в 1998 году, является поддержка анализа надежности на основе преобразования моделей системы, взятых из различных областей применения (критичных для безопасности и / или встроенные системы, прочный электронный бизнес Приложения, промежуточное ПО, Сервис-Ориентированная Архитектура ), описанные с использованием различных языков моделирования (BPM, UML и т. д.) в процессе системного проектирования, управляемого моделями. Такой анализ надежности на основе модели (и преобразования) обычно также включает верификация и валидация, тестирование, безопасность и безопасность анализ, а также нефункциональные характеристики ранней оценки (такие как надежность, доступность, ответная реакция, пропускная способность и др.) проектируемой системы. Кроме того, преобразования моделей для спецификации, проектирования, развертывания, оптимизации или генерации кода в традиционном системном проектировании на основе моделей также являются приоритетными областями для VIATRA2.

Подход

Поскольку разработка систем на основе точных моделей является основной областью применения VIATRA2, это требует, чтобы (i) преобразования модели были указаны математически точно, и (ii) эти преобразования были автоматизированы, чтобы целевые математические модели могли быть полностью получены. автоматически. Для этой цели VIATRA2 решила объединить два популярных, интуитивно понятных, но математически точных формализма спецификаций на основе правил, а именно: преобразование графа (GT) и Абстрактные государственные машины (ASM) для управления моделями на основе графов.

Основной концепцией при определении преобразований модели в VIATRA2 является шаблон (граф). Шаблон - это набор элементов модели, организованных в определенную структуру, выполняющую дополнительные ограничения (как определено условиями атрибутов или другими шаблонами). Шаблоны могут быть сопоставлены на определенных экземплярах модели, и после успешного сопоставления с образцом манипуляции с элементарной моделью задаются правилами преобразования графа. подобно OCL правила преобразования графа описывают предварительные и постусловия преобразований, но правила преобразования графа гарантированно исполняются, что является основным концептуальным отличием. Правила преобразования графа собираются в сложные преобразования модели с помощью правил абстрактного конечного автомата, которые обеспечивают набор обычно используемых структур императивного управления с точной семантикой.

Все модели, языки моделирования и преобразования единообразно хранятся в так называемом пространстве моделей VPM, что обеспечивает очень гибкий и общий способ захвата языков и моделей на разных метауровнях и из различных областей (или технологических пространств). Общие и мета-преобразования (параметры типа, правила, управляющие другими правилами) для обеспечения повторного использования преобразований являются уникальной функцией спецификации VIATRA2 (насколько нам известно), по крайней мере, среди инструментов, основанных на преобразовании графов.

Соответствие родственным стандартам

Хотя, с одной стороны, основные концепции моделирования и преобразования VIATRA2 нестандартны (т. Е. Ядро метамоделирования VPM более выразительно, чем Минфин, а язык преобразования не QVT ), с другой стороны, VIATRA2 планирует поддерживать эти связанные стандарты, предлагая (i) мощные и расширяемые импортеры и экспортеры моделей и (ii) языки, специфичные для предметной области, интегрированные в структуру как VIATRA2 (и, следовательно, Затмение ) плагины. Например, стандарт QVT предназначен для поддержки путем перевода описаний QVT в правила ASM и GT. Импортеры моделей, принимающие модели на основе XMI современных инструментов моделирования UML (таких как IBM Rational Software Architect), будут частью первоначального вклада, а импортеры для дополнительных инструментов будут добавлены позже.

Целевая аудитория и конечные пользователи

Структура VIATRA2 в настоящее время служит базовой технологией преобразования модели действующей европейской IP-системы DECOS в области надежных встроенных систем. Кроме того, VIATRA2 будет служить ключевой базовой технологией преобразования модели для нескольких дополнительных проектов на европейском уровне, которые начнутся в ближайшие 6 месяцев.

Таким образом, академические и промышленные партнеры в этих проектах станут первыми конечными пользователями фреймворка и получат большую выгоду от инициативы с открытым исходным кодом. Эти проекты обеспечат заметную международную известность для VIATRA2, а также для всего проекта GMT. Более того, многие интересные направления для будущих разработок уже разработаны (и будут постоянно развиваться) с использованием отзывов партнеров.

Смотрите также

внешние ссылки