Семинар "МИИТ"

15 апреля 2026 г. в 12.00 в рамках семинара "Математические модели информационных технологий" международной лаборатории интеллектуальных систем и структурного анализа, центра языковых и семантических технологий, департамента анализа данных и искусственного интеллекта совместно с департаментом программной инженерии состоится доклад к.т.н. Ступникова Сергея Александровича (ФИЦ «ИУ» РАН) по теме «Методы и средства верифицируемой интеграции неоднородных данных» в формате онлайн конференции. 

 

Аннотация доклада:

Семантическая интеграция данных необходима для обеспечения единообразного доступа, интерпретации и дальнейшего использования разнородных источников данных: их объемы, разнообразие и сложность постоянно растут. За последние двадцать лет было разработано множество технологий и систем для поддержки семантической интеграции данных. Однако верификация интеграции данных, то есть формальное доказательство того, что семантика данных и операций над ними сохраняются при интеграции данных, по-прежнему остается сложной задачей.

В работе представлены методы верификации интеграции данных на уровнях моделей данных, схем данных и собственно данных. Методы основаны на определении семантики программ интеграции в формальном языке спецификаций, поддержанном средствами автоматизированного доказательства. Методы нацелены на применение при разработке систем интеграции неоднородных данных, необходимых при решении задач в исследовательских инфраструктурах в различных предметных областях и в промышленных информационных системах.