Model-based user interface engineering with design patterns