О проблеме кардинальности в объектно-ориентированных моделях.
О проблеме кардинальности в объектно-ориентированных моделях.
Авторы
Аннотация
В статье рассматривается класс задач логического программирования в ограничениях на произвольных наборах объектно-ориентированных данных CLP(O). Обсуждаемая постановка предполагает задание модели данных на одном из декларативных объектно-ориентированных языков и генерацию коллекции объектов, удовлетворяющей условиям модели и являющейся решением соответствующей задачи в ограничениях. Рассматриваемый класс задач имеет важные приложения, связанные с верификацией моделей, генерацией тестовых наборов, обеспечением интероперабельности приложений и построением развитых интегрированных программных комплексов междисциплинарного назначения, оперирующих со семантически сложными моделями данных. Одной из возникающих алгоритмических проблем является определение кардинальности для генерируемых объектных экстентов. В работе предлагается и описывается метод, основанный на формальном анализе спецификации модели данных и редукции к постановке линейного целочисленного программирования.
Издание
Информационные и математические технологии в науке и управлении. Труды XVI Байкальской Всероссийской конференции, в 3 т. Том: 3. Издательство: ИСЭМ СО РАН, 2011. Стр. 158-163.
Научная группа
Системная интеграция и прикладные программные комплексы
Все публикации за 2011 год
Все публикации