Сборники трудов ИСП РАН


Инкрементальная верификация объектно-ориентированных данных на основе спецификации ограничений.

В.А. Семенов, С.В. Морозов, О.А. Тарлапан.

Аннотация

Рассматриваются задачи полной и инкрементальной верификации объектно-ориентированных данных. На основе теории графов строится формальный аппарат, а также описываются разработанные методы инкрементальной верификации, использующие статический анализ спецификации ограничений и позволяющие локализовать область потенциальных нарушений при изменении данных. Методы предоставляют весомую альтернативу полной верификации прикладных данных при локальных изменениях, преобладающих в многопользовательских графических приложениях. Постановка задачи и методы описываются применительно к языку EXPRESS, предоставляющему универсальную нотацию для спецификации объектно-ориентированных моделей данных и ограничений на них.

Издание

Труды Института системного программирования РАН, том 8, часть 2, 2004, стр. 21-52.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

Полный текст статьи в формате pdf Вернуться к содержанию тома