Общий подход к анализу внешнего поведения объектов, представленных функциональными схемами, на основе эквивалентных преобразований. I

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