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

Разработка и верификация процессов синхронизации моделей

Докладчик: Ошкало Д. В.

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

Аннотация
Процесс синхронизации моделей занимает одно из ключевых мест при моделе-ориентированной разработке программного обеспечения. Однако использующиеся в настоящее время методы приведения моделей к консистентному в некотором смысле состоянию недостаточно эффективны, т.к. используется лишь информация о структуре моделей, не анализируются семантические связи между ними. Разнообразие используемых в процессе разработки моделей приводит к трудностям при создании единого подхода к синхронизации. В ряде случаев, можно выделить некоторые особенности процесса синхронизации: гетерогенный характер синхронизируемых моделей, сложность задания отношения консистентности между ними, обусловленная наличием множества вариантов их согласованного существования и т.д. Все это приводит к тому, что на текущий момент не выработано методики по проектированию систем и инструментов синхронизации моделей, и, как правило, разработчики вынуждены решать данную проблему собственными силами.Предлагается новый подход к построению инструментов синхронизации моделей путем их реализации как систем параллельных взаимодействующих процессов с привлечением аппарата процессной алгебры. В качестве метода верификации процесса синхронизации предлагается использовать доказательство соответствия процесса некоторой спецификации, с одной стороны характеризующей особенности поведения этого процесса, с другой – его функциональные особенности, обусловленные преобразованием моделей. В основе данного метода лежит формальное процессное описание механизмов синхронизации и свойств их корректности с последующей проверкой этих свойств при помощи логического вывода. Для верификации функциональных характеристик процесса синхронизации вводится понятие эквивалентности процессов относительно их воздействия на синхронизируемые модели, рассматриваются особенности его применения.
209
5