Методы и техники абстрактного моделирования