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 条
  • [1] Formalizing UML models with object-Z
    Miao, HK
    Liu, L
    Li, L
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2495 : 523 - 534
  • [2] UML/OCL or Object-Z?
    Bettaz, Mohamed
    Maouche, Mourad
    2017 INTERNATIONAL CONFERENCE ON INFOCOM TECHNOLOGIES AND UNMANNED SYSTEMS (TRENDS AND FUTURE DIRECTIONS) (ICTUS), 2017, : 78 - 83
  • [3] Translating fusion/UML to Object-Z
    Bittner, M
    Kammüller, F
    FIRST ACM AND IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS, 2003, : 49 - 50
  • [4] Automatic generation of object-Z specification from UML diagrams
    Miao Huaikou
    Chen Yihai
    ICCSE'2006: PROCEEDINGS OF THE FIRST INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE & EDUCATION: ADVANCED COMPUTER TECHNOLOGY, NEW EDUCATION, 2006, : 857 - 862
  • [5] Formalizing the UML class diagram using Object-Z
    Kim, SK
    Carrington, D
    UML'99 - THE UNIFIED MODELING LANGUAGE: BEYOND THE STANDARD, 1999, 1723 : 83 - 98
  • [6] Comparison of formalisation approaches of UML class constructs in Z and Object-Z
    Amálio, N
    Polack, F
    ZB 2003: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B, 2003, 2651 : 339 - 358
  • [7] Using integrated metamodeling to define OO design patterns with object-Z and UML
    Kim, SK
    Carrington, D
    11TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2004, : 257 - 264
  • [8] A formal metamodeling approach to a transformation between the UML state machine and object-Z
    Kim, SK
    Carrington, D
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2495 : 548 - 560
  • [9] Specifying the UQ* editor user-interface with Object-Z
    Hussey, A
    Carrington, D
    ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE AND INTERNATIONAL COMPUTER SCIENCE CONFERENCE, PROCEEDINGS, 1997, : 374 - 383
  • [10] From Object-Z specification to Groovy implementation
    Zaker, F.
    Haghighi, H.
    Nazemi, E.
    SCIENTIA IRANICA, 2018, 25 (06) : 3415 - 3441
12345