Formal specification and refinement for an interactive Web example

被引：0
|
作者：
van Coppenhagen, Ingrid [1 ]
Dwolatzky, Barry [2 ]
机构：
[1] Univ South Africa, Sch Comp, Florida Campus,Private Bag X6, ZA-1710 Florida, South Africa
[2] Univ Witwatersrand, Sch Elect & Informat Engn, ZA-2050 Johannesburg, South Africa
来源：
WEBIST 2006: PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON WEB INFORMATION SYSTEMS AND TECHNOLOGIES: INTERNET TECHNOLOGY / WEB INTERFACE AND APPLICATIONS | 2006年
关键词：
implementation; interactive; refinement; specification; Web; XML; Z;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper provides a small interactive Web example (the Car1 example) that illustrates parts of the software life cycle processes of specification, refinement and implementation in an object-oriented environment. Part of the software system is specified in Z, data- and operation refined and then implemented into HTML, XML, XSD and JavaScript. Short descriptions of the refinement processes comprising data refinement, operation refinement and operation decomposition are given. The main focuses of the study are to firstly investigate how effective (or not) a formal specification is for an interactive Web system, and secondly to illustrate a selection control structure in the refinement process.
引用
收藏
页码：89 / +
页数：2
相关论文
共 50 条
  • [21] SOFTWARE FORMAL SPECIFICATION BY LOGIC PROGRAMMING - THE EXAMPLE OF STANDARD PROLOG
    EDDBALI, A
    DERANSART, P
    [J]. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 636 : 278 - 287
  • [22] Querying web images by topic and example specification methods
    Lee, CC
    Prabhakara, R
    [J]. ADVANCED DATA MINING AND APPLICATIONS, PROCEEDINGS, 2005, 3584 : 515 - 526
  • [23] Example-Driven Web API Specification Discovery
    Ed-douibi, Hamza
    Canovas Izquierdo, Javier Luis
    Cabot, Jordi
    [J]. MODELLING FOUNDATIONS AND APPLICATIONS, ECMFA 2017, 2017, 10376 : 267 - 284
  • [24] A rewriting logic approach to the formal specification and verification of web applications
    Alpuente, Maria
    Ballis, Demis
    Romero, Daniel
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2014, 81 : 79 - 107
  • [25] Formal Specification of the Assurance Point Web Service Composition Model
    Gao, Le
    Urban, Susan D.
    Rodriguez, Jonathan
    Warkhade, Abhijit
    [J]. INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS, 2014, 23 (04)
  • [26] Navigational Web-Interfaces from Formal Tropos Specification
    Weldemariam, Komminist
    [J]. ENGINEERING SOCIETIES IN THE AGENTS WORLD X, 2009, 5881 : 233 - 235
  • [27] WSOL - A language for the formal specification of classes of service for Web Services
    Tosic, V
    Pagurek, B
    Patel, K
    [J]. ICWS'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON WEB SERVICES, 2003, : 375 - 381
  • [28] Web Service Choreography Verification Using Z Formal Specification
    Rastegari, Y.
    Sajadi, Z.
    Shams, F.
    [J]. INTERNATIONAL JOURNAL OF ENGINEERING, 2016, 29 (11): : 1549 - 1557
  • [29] Using the B formal approach for incremental specification design of interactive systems
    Aït-Ameur, Y
    Girard, P
    Jambon, F
    [J]. ENGINEERING FOR HUMAN-COMPUTER INTERACTION, 1999, 22 : 91 - 109
  • [30] Design and specification of embedded systems in Java']Java using successive, formal refinement
    Young, JS
    MacDonald, J
    Shilman, M
    Tabbara, A
    Hilfinger, P
    Newton, AR
    [J]. 1998 DESIGN AUTOMATION CONFERENCE, PROCEEDINGS, 1998, : 70 - 75
12345