Труды института системного программирования РАН
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Труды ИСП РАН:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Труды института системного программирования РАН, 2015, том 27, выпуск 4, страницы 69–110
DOI: https://doi.org/10.15514/ISPRAS-2015-27(4)-5 (Mi tisp165) 		 
Эта публикация цитируется в 1 научной статье (всего в 1 статье)

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

С. В. Морозовab, Д. В. Ильинb, В. А. Семеновcb, О. А. Тарлапанab

a Московский государственный университет имени М. В. Ломоносова
b Институт системного программирования РАН
c Московский физико-технический институт (государственный университет)
PDF полного текста (451 kB) Список цитирования (1)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.15514/ISPRAS-2015-27(4)-5
Аннотация: В статье проводится анализ спецификаций индустриально значимого семейства объектно-ориентированных моделей данных на языке EXPRESS, на основе которого выделяются паттерны ограничений целостности, используемые в них. Разрабатывается библиотека обобщенных функций на языке EXPRESS для представления каждого из паттернов, которая может применяться как при рефакторинге существующих моделей, так и при разработке новых. Использование паттернов ограничений в спецификациях моделей позволяет улучшить их наглядность, облегчить их дальнейшее сопровождение и развитие и, в целом, ускорить их разработку. Кроме того, появляется возможность их анализа автоматизированными средствами программной инженерии. Обсуждается возможность применения данной библиотеки для решения задачи верификации моделей.
Ключевые слова: объектно-ориентированное моделирование, EXPRESS, STEP, IFC, CIS/2, паттерны ограничений, верификация моделей.
Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 13-07-00390
Работа поддержана РФФИ (грант 13-07-00390).
Реферативные базы данных:
Тип публикации: Статья
Образец цитирования: С. В. Морозов, Д. В. Ильин, В. А. Семенов, О. А. Тарлапан, “Библиотека ограничений для спецификации индустриальных моделей данных”, Труды ИСП РАН, 27:4 (2015), 69–110
Цитирование в формате AMSBIB
\RBibitem{MorIlySem15}
\by С.~В.~Морозов, Д.~В.~Ильин, В.~А.~Семенов, О.~А.~Тарлапан
\paper Библиотека ограничений для спецификации индустриальных моделей данных
\jour Труды ИСП РАН
\yr 2015
\vol 27
\issue 4
\pages 69--110
\mathnet{http://mi.mathnet.ru/tisp165}
\crossref{https://doi.org/10.15514/ISPRAS-2015-27(4)-5}
\elib{https://elibrary.ru/item.asp?id=24928724}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/tisp165
  • https://www.mathnet.ru/rus/tisp/v27/i4/p69
    • Эта публикация цитируется в следующих 1 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Труды института системного программирования РАН
    Статистика просмотров:
    Страница аннотации:157
    PDF полного текста:111
    Список литературы:41
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024