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