Кафедра ИУ3
12 ноября 2013, 14:00

Объединение разнородных инженерных описаний сложных программных систем на основе общей онтологии для разработки, управляемой моделями

Докладчик: Иванов А. М.

Организация: МГТУ им. Н. Э. Баумана

Аннотация
Повышение скорости и качества разработки программных систем является одной из ключевых проблем в области создания инструментов автоматизации разработки. Разработка, управляемая моделями (model-driven development) – новый развивающийся подход, заключающийся в том, что создается набор формальных моделей частей разрабатываемой системы на предметно-ориентированных языках (domain-specific languages), которые затем верифицируются и транслируются в исходный код на языке общего назначения. В настоящее время такие модели программных систем привязаны специфике к конкретной системы и носят фрагментарный характер, что не позволяет получить целостную модель программной системы и повторно использовать накапливаемые модели. В докладе предложено решение задачи интеграции разнородных инженерных моделей программных систем на основе общей онтологии инженерных знаний ISO15926. Для этого три группы системно-инженерных архитектурных описаний сложных программных систем (функционально-модульное, компонентное, описание развертывания) объединяются в базе знаний на основе общей онтологии. Для оценки возможностей такой системы проанализированы разные виды знаний и рассмотрена прагматика их использования в процессе разработки программных систем. Описан жизненный цикл разных видов знаний. Построена пространственно-временная модель использования такой базы знаний. По результатам анализа сформулированы показатели качества базы знаний, проведен анализ сложности логического аппарата, требующегося для представления знаний. Поставлена и решается задача оптимизации структур данных для представления инженерных знаний и алгоритмов работы с ними.
201
5