Методы формализованного представления систем в исследованиях