Информационная система "Конференции"

Международная конференция молодых ученых по математическому моделированию и информационным технологиям

29-31 октября 2002 года, Новосибирск, Академгородок

Тезисы докладов

Информационные технологии

Реализация OCL в UML-ориентиованной среде разработки на платформе Microsoft .Net

Иванов С.А.

Институт вычислительных технологий СО РАН (Новосибирск)

UML – стандарт, предлагающий визуальную нотацию для моделирования и документирования программных систем. Язык ограничений (OCL), являющийся частью стандарта UML, представляет собой формальный язык спецификации (основанный на теории множеств и предикативной логике), который используется для задания различных выражений на элементах модели, специфицированной при помощи UML. В 2002 году группой аспирантов ИВТ начата разработка очередной версии UML-ориентированной среды, позволяющей, в отличие от предыдущей версии, моделировать не только систему классов программы, но и поведение объектов. Один из компонентов разрабатываемой системы обеспечивает поддержку языка OCL. Компонент состоит из четырёх модулей:

Синтаксический анализатор - производит синтаксический разбор и проверку синтаксической правильности OCL выражения;
OCL валидатор - осуществляет проверку семантической корректности OCL выражения;
OCL вычислитель - вычисляет истинность OCL выражения в данном контексте;
OCL построитель - предоставляет пользователю удобный интерфейс для построения корректных OCL выражений.

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

Компонент поддержки OCL является блоком независимым, от остальных компонентов системы;
Компонент предоставляет универсальный интерфейс для работы с OCL выражениями;
Объекты внутреннего представления реализуют интерфейс для работы с OCL компотентом, что позволяет вычислять значения OCL выражений на уровне модели;
Если пользователь запросил поддержку OCL, то объекты предметной области, сгенерированные по модели, реализуют интерфейс для работы с OCL компотентом. Это позволяет вычислять значения OCL выражений на этапе исполнения смоделированной системы.

Примечание. Тезисы докладов публикуются в авторской редакции

Ваши комментарии
Обратная связь

[Головная страница]
[Конференции]

© 1996-2000, Институт вычислительных технологий СО РАН, Новосибирск
© 1996-2000, Сибирское отделение Российской академии наук, Новосибирск
Дата последней модификации: 06-Jul-2012 (11:47:01)