Разработка процессов синхронизации моделей и принципов проверки их корректности
13
Результат:
b
x
Результат:
a
y
true
Далее проверим свойство симметричности:
?- symmetric(a,b,x,y).
1:
y
a
2:
b
x
false
Итак, можно сделать вывод о том, что данный процесс синхрони-
зации не обладает свойством симметричности: для него важен поря-
док выполнения операций над моделями.
Таким образом, рассмотрение механизмов синхронизации в тер-
минах процессов и использование формальных описаний свойств
процессных моделей с целью анализа процесса синхронизации в це-
лом позволяют по заданному описанию процесса синхронизации по-
строить систему проверки свойств его корректности, верификации и
проанализировать его поведение в различных условиях.
Заключение.
В статье поставлена и освещена проблема синхро-
низации моделей при моделеориентированной разработке программ-
ного обеспечения. Рассмотрены основные свойства процессов син-
хронизации, установлена их взаимосвязь и влияние на процесс про-
ектирования систем синхронизации моделей. Приведены параметры,
влияющие на архитектуру и алгоритмы работы системы синхрониза-
ции моделей. Предложен новый метод создания механизмов синхро-
низации, основанный на использовании процессных моделей, обос-
нована правомерность и удобство его использования для синтеза си-
стем синхронизации, а также проверки их корректности. Поскольку
устоявшейся методики создания систем синхронизации моделей в
настоящий момент не выработано, проектирование подобных систем
происходит с существенной завязкой на конкретную предметную об-
ласть моделей методом проб и ошибок. Дальнейшая разработка
предложенного подхода позволит создать мощный инструмент для
определения структуры и верификации процесса синхронизации мо-
делей, а также синтеза архитектуры систем синхронизации моделей
