Системы и средства информатики: Специальный выпуск. Формальные методы и модели в композиционных инфраструктурах распределённых информационных систем

Description

Специальный выпуск ежегодника посвящен одному из важнейших направлений фундаментальных исследований, проводимых в лаборатории композиционных методов проектирования информационных систем ИПИ РАН, — проблемам развития и применения формальных методов для создания композиционных инфраструктур интероперабельных систем и систем интеграции неоднородных информационных источников для решения задач, возникающих при научных исследованиях.\nДля научных работников, преподавателей, инженеров, аспирантов, студентов вузов, интересующихся современным состоянием и перспективами исследований в области формальных методов. Титул......Page 2 Предисловие......Page 3 Калиниченко Л.A. Синтез канонических моделей, предназначенных для достижения семантической интероперабельности неоднородных источников информации......Page 11 Ступников С. А. Формальная семантика ядра канонической объектной информационной модели......Page 40 Ступников С. А. Отображение спецификаций, выраженных средствами ядра канонической модели, в язык AMN......Page 69 Ступников С. А. Автоматизация верификации уточнения при композиционном проектировании информационных систем и посредников......Page 96 Ступников С. А., Брюхов Д. О. Представление языков UML и ОСL в канонической информационной модели......Page 120 Калиниченко Л.A., Ступников С. А., Земцов Н.А. Каноническая модель процессов и её формальная интерпретация......Page 130 Калиниченко Л.A., Мартынов Д. О., Ступников С. А. Переписывание запросов на основе взглядов в типизированной среде посредников......Page 152 Калиниченко Л.A., Скворцов Н.А. Реверсивное онтологическое моделирование при унифицированном представлении различных онтологических моделей источников информации в предметном посреднике......Page 184 Bernadskiy М. Probabilistic model checking......Page 213 Fomenko F. Basic dual-context calculus of terms with restricted substitution and recursion......Page 248 Zadorozhny V.I., Sharma D., Chrysanthis P.K., Labrinidis A. Data Transmission Algebra for Collision-Aware Scheduling in Sensor Networks......Page 272 Abstracts......Page 294