Сборники трудов ИСП РАН


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

С.В. Морозов (ИСП РАН, Москва; МГУ, Москва), Д.В. Ильин (ИСП РАН, Москва), В.А. Семенов (ИСП РАН, Москва; МФТИ, Москва), О.А. Тарлапан (ИСП РАН; Москва, МГУ, Москва)

Аннотация

В статье проводится анализ спецификаций индустриально значимого семейства объектно-ориентированных моделей данных на языке EXPRESS, на основе которого выделяются паттерны ограничений целостности, используемые в них. Разрабатывается библиотека обобщенных функций на языке EXPRESS для представления каждого из паттернов, которая может применяться как при рефакторинге существующих моделей, так и при разработке новых. Использование паттернов ограничений в спецификациях моделей позволяет улучшить их наглядность, облегчить их дальнейшее сопровождение и развитие и, в целом, ускорить их разработку. Кроме того, появляется возможность их анализа автоматизированными средствами программной инженерии. Обсуждается возможность применения данной библиотеки для решения задачи верификации моделей. Работа поддержана РФФИ (грант 13-07-00390).

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

объектно-ориентированное моделирование, EXPRESS, STEP, IFC, CIS/2, паттерны ограничений, верификация моделей

Издание

Труды Института системного программирования РАН, том 27, вып. 4, 2015, стр. 69-110.

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

DOI: 10.15514/ISPRAS-2015-27(4)-5

Полный текст статьи в формате pdf Вернуться к содержанию тома