Phát triển phần mềm hướng mô hình là quá trình phát triển tập trung vào mô hình hóa hệ thống và chuyển đổi các mô hình ngữ nghĩa mức cao xuống các mô hình cụ thể nền và từ đó xuống mã. Hiện nay, các kết quả đạt được chủ yếu xuất phát từ các ý tưởng cũng như kỹ thuật nền tảng đó là kiến trúc hướng mô hình – MDA và các kỹ thuật biểu diễn mô hình như: UML, MOF. Các vấn đề chính đặt ra ở đây là vấn đề biểu diễn các mô hình, vấn đề biểu diễn và thực thi các cơ chế chuyển đổi mô hình, vấn đề điều hướng các chuyển đổi mô hình xuyên suốt quá trình phát triển. Tiến đến giải quyết được các vấn đề này, trong nỗ lực xây dựng khung chuyển đổi mô hình, một bài toán đặt ra cần được giải quyết là làm thế nào để biểu diễn được các luật chuyển đổi cho phép chuyển đổi từ mô hình đích sang mô hình nguồn. Một khi có được phương thức biểu diễn các luật chuyển đổi, các chuyển đổi mô hình có thể được định nghĩa và gắn vào các công cụ chuyển đổi để thực thi tự động.