Используя Enterprise Analyst, программу анализа, архитекторы и разработчики могут проверять, симулировать и документировать будущие доменные модели.
Данная сервисная программа позволяет им сконцентрироваться на ядре логики системного домена и позволяет протестировать систему во время фазы анализа.
Некоторые важные преимущества применения формального анализа:
- Меньший коэффициент дефектов в последующих фазах (уменьшение затрат и времени на проект).
- Простое понимание и спецификация пользовательских требований (увеличивается качество программы).
- Независимые модели платформ также как формально и источники кодов (будущее содержание системы, расширение и обновление технологий с легкостью).
- Документация системы проверяется и генерируется (увеличивается качество документации).
Enterprise Analyst улучшает возможности проверки моделей Enterprise Architect:
- Активно проведет разработчика к исправлению синтаксических ошибок при проверке синтаксиса модели.
- Симулирование и тестирование семантики модели, и помощь разработчику в достижении нужной функциональности.
- Проверка спецификации модели для завершения и создания удобной документации.