Для начала давайте уточним: речь идет не о идеологии фреймворка, а об одном из шаблоном проектирования - MVC - на котором этот фреймворк построен.
Если чисто академически - да, идет нарушение, потому что для этого парртера должно всегда выполняться правило 1M = 1V = 1C.
Чисто практически - если только один контролер вызывает именно эти две конкретные модели, тогда ничего страшного нет, однако, если именно эти две модели, нужны десятку-другому контроллеров по всему приложению, думаю имеет смысл сделать какую-то обертку именно для этих двух моделей.