IBM Rational Tau обеспечивает стандартизованную разработку сложных систем и программного обеспечения на основе моделей.
Это решение используется при разработке информационных систем и корпоративных ИТ-приложений, в том числе архитектуры SOA.
Поддерживает разработку сервис-ориентированной архитектуры (SOA) на основе моделей.
Обеспечивает автоматическую проверку на наличие ошибок и проверку моделей на основе правил, а также предоставляет анализатор на базе моделей.
Объединяет процессы моделирования требований и разработки встроенных приложений, что позволяет группам разработчиков сосредоточиться на создании необходимых компонентов проекта или программы.
Обеспечивает возможность совместной работы, что позволяет всем участникам даже самых масштабных проектов легко и быстро связываться друг с другом и обмениваться данными.
Автоматически создает пользовательские отчеты и документацию на любой стадии цикла разработки.
Обеспечивает автоматическое генерирование и выполнение тестов.
Имеет открытую архитектуру, основанную на UML 2.1, что позволяет дополнять и настраивать Tau в соответствии с потребностями организации.
Поддерживаемые операционные системы: Sun Solaris, Windows.
Наличие диаграмм нового типа позволило привнести в инструмент Tau более широкие возможности.
Так появилась опция Verifier, которая в режиме "реального" времени (вы сами задаете масштаб условной единицы времени) позволяет моделировать поведение всей системы или ее отдельных частей, с использованием MSС-диаграмм (Message Sequence Chart).
Пользователь имеет возможность задавать любые входные воздействия (в требуемой последовательности - "пачками", последовательно, параллельно) с тем, чтобы наблюдать как модель реагирует и отрабатывает тот функционал, который в нее закладывался. При этом в любом месте любой диаграммы пользователь имеет возможность поставить знак остановки (break-point) и в специальных окнах (watch window) контролировать значения любых переменных. Наличие опции Verifier позволяет находить ошибки на самых ранних стадиях дизайна, что сокращает время на поиск ошибок и значительно снижает затраты на тестирование.
Появилась возможность иметь почти 100% готового к использованию кода, который автоматически создается встроенным кодо-генератором. В настоящее время Tau имеет 4 независимых кодогенератора: С, С++, C#, Java.
При таком подходе - если речь, например, идет о real-time или embedded systems - пользователь имеет возможность создавать модель (систему), не привязываясь к онкретной операционной системе или типу процессора:
согласитесь, ведь вашему заказчику почти все равно ЧТО находится внутри вашей системы, ему важно знать КАК система отрабатывает требуемый функционал;
технический прогресс не стоит на месте и все чаще появляются новые типы процессоров, - и что же, переписывать софт заново??? - Нет, теперь уже не придется переписывать софт, подстраивась под новый тип процессора или ОС, а только лишь изменить настройки кодо-генератора.
Такой подход дает возможность сосредоточить усилия разработчиков именно на создании модели и ее функционала, а не тратить их время на ручную "писанину" кода, при которой вносится масса ошибок, потому что никуда от человеческого фактора не уйти...
И появилась возможность следовать рекомендациям OMG-группы, а именно: перейти от широко используемой в прошлом стартегии CDA [Code-Driven Architecture] к новой стратегии MDA [Model-Driven Architecture].
Tau имеет 3 составляющих - собственно Tau, Tau/Architect и Tau/Developer - каждая из которых имеет свое предназначение.
Tau:
- построение модели\-ей с использованием диаграмм, имеющихся в стандарте UML2.0;
- проверка диаграмм на соответствие синтаксису и семантики (нотации) языка UML2.0;
- автоматический поиск и локализация ошибок в диаграммах.
Tau/Architect:
- построение модели\-ей с использованием диаграмм, имеющихся в стандарте UML2.0;
- проверка диаграмм на соответствие синтаксису и семантики (нотации) языка UML2.0;
- автоматический поиск и локализация ошибок в диаграммах;
- динамическая проверка поведения модели;
- отработка и корректировка функционала, закладываемого в модель.
Tau/Developer:
- построение модели\-ей с использованием диаграмм, имеющихся в стандарте UML2.0;
- проверка диаграмм на соответствие синтаксису и семантики (нотации) языка UML2.0;
- автоматический поиск и локализация ошибок в диаграммах;
- динамическая проверка поведения модели;
- отработка и корректировка функционала, закладываемого в модель;
- автоматическая генерация до исходного кода на языке используемого кодо-генератора.
Широкий набор опций позволяет компании оптимизировать свои расходы и не приобретать ничего лишнего в нагрузку.
Tau может быть интегрирован с DOORS [Requirements Management] так, что сразу становится наглядным как каждое из конкретных требований реализуется с помощью тех или иных диаграмм, описывающих поведение системы\модели. При этом возможности трассировки DOORS сохраняются и имеют продолжение в Tau.
Знаете ли Вы, что объективно обусловленная оценка ресурса (продукции) - это величина прироста экономического эффекта, обусловленного малым изменением доступного объёма ресурса или величины планового задания по выпуску продукции. При использовании экономико-математического моделирования численно равна двойственной оценке соответствующего ограничения. Измеряется в единицах измерения экономического эффекта в расчёте на единицу ресурса (продукции).
