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

VI Всероссийская конференция молодых ученых по математическому моделированию и информационным технологиям (с участием иностранных ученых)

29-31 октября 2005 года, г. Кемерово, Россия

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

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

Контекстная интерпретация OCL-выражений

Парамонов В.В., Черкашин Е. А., Федоров Р.К.

ИДСТУ СО РАН (Иркутск)

Одним из современных методов разработки информационных систем (ИС) уровня предприятия является подход, называемый Model Driven Architecture (MDA) [1]. Основным принципом MDA является генерирование ИС на основе ее функциональной модели, не зависящей от программой технологии реализации, например, от языка программирования. Такая модель ИС называется платформо--независимой моделью, PIM (Platform Independent Model). На втором этапе на основе PIM ИС генерируются компоненты ИС, такие как структуры баз данных, пользовательский интерфейс, объектная структура приложения и т.п.

Генератор реализует функции из PIM ИС в виде программных объектов (например, программного кода) в заданных разработчиком программных технологиях (моделью платформы).

Сгенерированный вариант ИС представляет собой реализацию модели ИС с учетом специфики используемой программной технологии и среды функционирования. Такая реализация ИС называется PSM--моделью (Platform Specific Model).

В качестве стандартного представления PIM концорциумом OMG [1] выбран язык Unified Modelling Language (UML) [2], представляющий PIM в виде набора диаграмм. В стандарт UML входит язык определения ограничений над объектами, Object Constraint Language (OCL) [3].

Рассматривается задача интерпретации OCL--выражений в процессе генерирования ИС. Решение задачи позволит интерпретировать ограничения (генерировать программные объекты, реализующие эти ограничения) в зависимости от контекста (генерируемого программного объекта).

В настоящее время существуют инструментальные средства, осуществляющие такую интерпретацию OCL--выражений, например компомнет Bold for Delphi. Однако, есть необходимость обощения понятия интерпретации --- отход от простой проверки выполнимости отношения при заданных аргументах. Разрабатывается программная система (ПС), интерпретирующая достаточно широкий класс отношений OCL--выражений в виде триггеров баз данных. Рассматривается архитектура ПС, методики реализации процедур интерпретации, приводятся примеры работы ПС.

ЛИТЕРАТУРА
[1] OMG Model Driven Architecture. http://www.omg.org/mda
[2] Буч Г., Рамбо Дж., Джекобсон А. UML. Руководство пользователя. M.: ДМК, -- 2001 г. -- 432 с.
[3] OCL 2.0 OMG Final Adopted Specification. http://www.uml.org/

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

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

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