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