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