МЕТОДЫ И СРЕДСТВА КОНТРОЛЯ СЕМАНТИЧЕСКОЙ ЦЕЛОСТНОСТИ ИНФОРМАЦИОННЫХ МОДЕЛЕЙ РЕАКТОРНЫХ УСТАНОВОК

С.В. Зыков, И. А. Зубков

Аннотация


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

Ключевые слова


семантическая целостность; информационная модель; предметноориентированный язык; семантическая целостность; информационная модель; предметноориентированный язык

Полный текст:

PDF

Литература


1 Зубков И. А. Проектирование программных средств для разработки 6D-паттернов ядерных энергетических установок // Сборник трудов «Конференция молодых специалистов ОАО ОКБ “ГИБРОПРЕСС” 2010». С. 109.

2 Вольфенгаген В. Э. Семантические вирусы и провоцирующие подстановки // Сборник трудов 2-й международной конференции АВС 2010. Институт «ЮрИнфоР-МГУ». С. 100.

3 Вольфенгаген В. Э., Горюнова И. А., Косиков С. В. Методы и средства построения систем знания. Ч. 2. Модели, обслуживающие базы данных и базы знаний. Учебное пособие. М.: МИФИ, 1992. — 136 с.

4 Зыков С. В. Проектирование корпоративных порталов. М.: МФТИ, 2005. — 258 с.

5 Roussopulos N. D. A semantic network model of data bases. Toronto Univ., 1976.

6 Калиниченко Л. А. СИНТЕЗ : язык определения, проектирования и программирования интерпорабельных сред неоднородных ресурсов. М., 1993.


Ссылки

  • На текущий момент ссылки отсутствуют.


Лицензия Creative Commons
Это произведение доступно по лицензии Creative Commons «Attribution» («Атрибуция») 4.0 Всемирная.