УДК 004.414.2 ИСПОЛЬЗОВАНИЕ ТАКСОНОМИЙ ОТНОШЕНИЙ КЛАСС-ЭКЗЕМПЛЯР В СПЕЦИФИКАЦИЯХ ПРЕДМЕТНЫХ ОБЛАСТЕЙ Н. А. <...> Скворцов, С. А. Ступников, Л. А. Калиниченко Институт проблем информатики РАН Поступила в редакцию 01.02.2012 г. Аннотация. <...> Языки концептуального моделирования в большинстве своём определяют отдельно уровень классов и уровень объектов как экземпляров классов. <...> Лишь некоторые используют многоуровневый подход к моделированию, в котором на основе отношений класс-экземпляр можно выстраивать таксономии. <...> В статье рассмотрены некоторые языки, позволяющие создавать многоуровневые спецификации концептуальных схем. <...> Затронуты вопросы вычислительной сложности моделей при использовании многоуровневых спецификаций. <...> Изложен подход к онтологическому и концептуальному моделированию предметных областей с использованием многоуровневых спецификаций на языке СИНТЕЗ. <...> 1 ВВЕДЕНИЕ Одним из видов отношений, неотъемлемо используемых в концептуальном и онтологическом моделировании, является отношение, задающее связь между классом как множеством объектов и объектом – экземпляром класса. <...> Другими словами, экземплярами классов не могут стано© Скворцов Н. А., Ступников С. А., Калиниченко Л. А., 2012 виться другие классы, и многоуровневая таксономия, основанная на отношении класс-экземпляр, невыразима. <...> Статья посвящена исследованию многоуровневых спецификаций и возможностей, которые они привносят в онтологическое и концептуальное моделирование. <...> Раздел 4 более подробно описывает подход к построению многоуровневых спецификаций, а раздел 5 посвящён описанию разного рода применений многоуровневых спецификаций в онтологическом и концептуальном моделировании. <...> ВЕСТНИК ВГУ, СЕРИЯ: СИСТЕМНЫЙ АНАЛИЗ И ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ, 2012, № 1 157 Н. А. Скворцов, С. А. Ступников, Л. А. Калиниченко 2 СВЯЗАННЫЕ РАБОТЫ В пору активных исследований в области концептуального моделирования баз данных в 70-х – 80-х годах прошлого века [4] развивались <...>