Towards a General Computational Framework for Model-Based Interface Development Systems