Deriving User Interfaces from UML Models and Object-Z

被引：0
|
作者：
Qiu Zhong-jie [1 ]
Wei Chang-jiang [1 ]
机构：
[1] Qingdao Univ, Coll Informat Engn, Qingdao, Peoples R China
来源：
2009 INTERNATIONAL CONFERENCE ON COMPUTER ENGINEERING AND TECHNOLOGY, VOL II, PROCEEDINGS | 2009年
关键词：
user interface; uml models; object-z;
D O I：
10.1109/ICCET.2009.31
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
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" (Create, Read, Update and Delete) user interfaces 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 development.
引用
收藏
页码：67 / 70
页数：4
相关论文
共 50 条
  • [41] An integrated framework with UML and Object-Z for developing a precise and understandable specification: The light control case study
    Kim, SK
    Carrington, D
    SEVENTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2000, : 240 - 248
  • [42] Animation of object-Z specifications using a Z animator
    McComb, T
    Smith, G
    FIRST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2003, : 191 - 200
  • [43] Extracting FSMs from object-Z specifications with history invariants
    Sun, J
    Dong, JS
    ICECCS 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2005, : 96 - 105
  • [44] Refinement of objects and operations in Object-Z
    Derrick, J
    Boiten, E
    FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS IV, 2000, 49 : 257 - 277
  • [45] Automating the generation of test cases from Object-Z specifications
    Ashraf, Adnan
    Nadeem, Aamer
    30TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOL 2, SHORT PAPERS/WORKSHOPS/FAST ABSTRACTS/DOCTORAL SYMPOSIUM, PROCEEDINGS, 2006, : 101 - +
  • [46] Structured object-Z software specification language
    Gao, XL
    Miao, HK
    Chen, YH
    GRID AND COOPERATIVE COMPUTING, PT 1, 2004, 3032 : 956 - 963
  • [47] 使用Object-Z获取形式需求
    朱彬
    王帅
    王娜
    计算机辅助工程, 2008, (01) : 87 - 90
  • [48] Formalizing semantics of XSLT using Object-Z
    Yang, HL
    Dong, JS
    Hao, KG
    Han, JG
    WEB TECHNOLOGIES AND APPLICATIONS, 2003, 2642 : 120 - 131
  • [49] Modelling Java']Java concurrency with object-Z
    Duke, R
    Wildman, L
    Long, B
    FIRST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2003, : 173 - 181
  • [50] A minimal set of refactoring rules for Object-Z
    McComb, Tim
    Smith, Graeme
    FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, PROCEEDINGS, 2008, 5051 : 170 - +
12345