Формализация языка описания моделей распределенных систем программ при помощи временных автоматовстатья