Deriving User Interfaces from UML Models and Object -Z

In this paper, we discuss a method for generating a set of user interfaces from business model and use case model. A set of rules that derives "CRUD" UI forms from business model is given. The method uses object-Z formal language to add preciseness and semantic richness both to the business and use case UML models in order to enhance UI usability. The derived UI prototype allows the early validation of requirements, and can be used as a basis for subsequent developments.