DocumentCode
2546896
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
Volume
2
fYear
2009
fDate
22-24 Jan. 2009
Firstpage
67
Lastpage
70
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Engineering and Technology, 2009. ICCET '09. International Conference on
Conference_Location
Singapore
Print_ISBN
978-1-4244-3334-6
Type
conf
DOI
10.1109/ICCET.2009.31
Filename
4769560
Link To Document