Я работаю над проектом об обновлении приложений высокой доступности в промежуточном программном обеспечении SA Forum. В рамках моего исследования мне нужно создать профиль UML для входного файла кампании обновления и проверить этот файл на предмет некоторых ограничений зависимостей. Теперь я хочу использовать ALLOY вместо UML в своей работе, особенно потому, что он более абстрактный и формальный, чем UML. (конечно, UML + OCL будет формальным.). Теперь мой вопрос: если UML + OCL является формальным, то в чем же польза от использования ALLOY? В целом, каковы преимущества использования Alloy против UML?
Использование моделей из сплава
Ответы (1)
Насколько мне известно, нет инструментов, которые позволили бы вам проверять ваши ограничения OCL на соответствие модели UML, а также генерировать и визуализировать действительные экземпляры, поэтому, если вы планируете провести формальный анализ ваших моделей + спецификаций, Alloy может быть лучшим выбором. . Даже если вы не планируете проводить большой анализ, способность Alloy генерировать и визуализировать действительные экземпляры очень помогает убедиться, что вы правильно поняли свою модель и спецификацию.
person
Aleksandar Milicevic
schedule
30.01.2014
