Формальный подход к семантической реконсиляции.


Формальный подход к семантической реконсиляции.

Авторы

Семенов В.А., Тарлапан О.А., Энкович И.В.

Аннотация

Семантическая реконсиляция — фундаментальная научная и прикладная проблема, тесно связанная с применением современных технологий оптимистической репликации в распределенных системах и имеющая индустриально важные приложения, такие как управление конфигурацией программного обеспечения, управление мобильными базами данных, организация цифровых архивов, документооборота, построение платформ и систем коллективной инженерии, управление web–контентом. В настоящей работе обсуждается формальный подход к семантической реконсиляции дивергентных представлений с использованием спецификаций модели данных. Предполагается, что спецификации представлены декларативным образом на объектно-ориентированных языках EXPRESS, UML/OCL, ODL/OQL (или на подобных им) и охватывают как структуры данных, так и семантические ограничения, определенные на них. Подобные спецификации предоставляют дополнительные возможности для статического и динамического анализа зависимостей между элементами данных и выработки непротиворечивых (семантически корректных) и полных (обеспечивающих полноту результирующей транзакции) планов реконсиляции. В статье рассматриваются ключевые идеи и решения предлагаемого подхода, основные проблемы его реализации, а также его применение к задачам коллективной программной инженерии в рамках обсуждаемой модельно-ориентированной методологии.

Издание

Информационные и математические технологии в науке и управлении. Труды XIII Байкальской Всероссийской конференции, в 2т. Том: 2. Издательство: ИСЭМ СО РАН, 2008. Стр. 90-97.

Научная группа

Системная интеграция и прикладные программные комплексы

Все публикации за 2008 год Все публикации