Концептуальные модели систем: формализация и примеры