Title :
Deriving User Interfaces from UML Models and Object -Z
Author :
Qiu Zhong-jie ; Wei Chang-jiang
Author_Institution :
Coll. of Inf. Eng., Qingdao Univ., Qingdao
Abstract :
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.
Keywords :
Unified Modeling Language; formal specification; formal verification; object-oriented programming; user interfaces; UML; business model; object-Z formal language; requirements validation; use case model; user interface; Computer interfaces; Context modeling; Design engineering; Educational institutions; Formal languages; Natural languages; Prototypes; Unified modeling language; Usability; User interfaces; Object-Z; business model; use case model; user interface;
Conference_Titel :
Computer Engineering and Technology, 2009. ICCET '09. International Conference on
Conference_Location :
Singapore
Print_ISBN :
978-1-4244-3334-6
DOI :
10.1109/ICCET.2009.31
