Алгоритм формального синтеза динамической модели над реляционной структурой на примере построения модели взаимодействия диверсифицированного производства и рынка, состоящего из множества сегментов