Объектно-ориентированный подход в логических моделях : монография