Object Constraint Language Environment описание, скриншоты и видео

OCLE — это инструмент UML CASE, предлагающий полную поддержку OCL как на уровне метамодели UML, так и на уровне модели.

Вначале нашей основной целью было разработать и реализовать инструмент, полезный для людей, работающих с UML. В этом отношении первой задачей было реализовать поддержку, необходимую для проверки корректности моделей UML по сравнению с WFR, указанным в UML 1.5.

Для этого мы скорректировали Дополнительные операции и Правила корректности. В каталоге примеров, включенном в этот дистрибутив, указаны все AO и WFR, которые мы использовали в разных тестах. Мы можем проверить ваши модели, используя эти спецификации или ваши собственные. OCLE предлагает очень мощную поддержку для компиляции и отладки спецификаций OCL.

Вы можете использовать модели UML, сохраненные в XMI 1.0 или 1.1, независимо от инструментов и синтаксических анализаторов, используемых при создании и передаче моделей.

Помимо поддержки OCL, предлагаемой на уровне метамодели, OCLE помогает пользователям реализовать как статическую, так и динамическую проверку на уровне пользовательской модели. Динамическая поддержка предлагается посредством сгенерированного исходного кода Java. В этом контексте стоит упомянуть качество кода, сгенерированного для архитектуры модели и спецификаций OCL, а также связующего звена, поддерживающего использование всего сгенерированного кода.

Семантическая проверка XML-документов, описанных с помощью DTD, является одним из простых приложений проверки модели UML. Чтобы облегчить это, OCLE позволяет обратное проектирование файлов DTD.

И последнее, но не менее важное: графический интерфейс был задуман и реализован с целью поддержки использования OCLE естественным и интуитивно понятным образом. Помимо новых возможностей, реализованных в версии 2.0, в дистрибутив было включено очень полезное руководство пользователя и несколько подробных примеров.