Розвиток методології і розроблення теоретичних засад формалізації та організації руху даних в розподілених комп"ютерних системах. Аналіз існуючих технологій проектування, діагностування та моделювання РКС. Формалізація характеристик системних об"єктів.