Proceedings of ISP RAS


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

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

Abstract

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

Edition

Proceedings of the Institute for System Programming, vol. 8, issue 2 (in Russian), 2004, Стр. 21-52.

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

Full text of the paper in pdf (in Russian) Back to the contents of the volume