математическое моделирование, моделирование и анализ информационных систем, формальные модели распределенных систем