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 条
  • [1] The formal specification of interactive systems
    Harrison, MD
    [J]. SOFTWARE ENGINEERING JOURNAL, 1996, 11 (06): : 322 - 322
  • [2] Formal Specification, Refinement, and Implementation of Path Planning
    Rabiah, Eman
    Belkhouche, Boumediene
    [J]. PROCEEDINGS OF THE 2016 12TH INTERNATIONAL CONFERENCE ON INNOVATIONS IN INFORMATION TECHNOLOGY (IIT), 2016, : 1 - 6
  • [3] Formal specification of a Web services protocol
    Johnson, James E.
    Langworthy, David E.
    Lamport, Leslie
    Vogt, Friedrich H.
    [J]. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2007, 70 (01): : 34 - 52
  • [4] Formal Specification of Web Services Composition
    Bachtarzi, Faycal
    Chaoui, Allaoua
    [J]. 2013 IEEE SYMPOSIUM ON WIRELESS TECHNOLOGY & APPLICATIONS (ISWTA2013), 2013, : 34 - 39
  • [5] Formal specification of an asynchronous processor via action refinement
    Sun, XL
    Wu, JZ
    Song, XY
    Majster-Cederbaum, M
    [J]. 5TH INTERNATIONAL WORKSHOP ON MICROPROCESSOR TEST AND VERIFICATION: COMMON CHALLENGES AND SOLUTIONS, PROCEEDINGS, 2005, : 36 - 41
  • [6] FORMAL SPECIFICATION OF A SMALL EXAMPLE BASED ON GKS
    DUCE, DA
    MARSHALL, LS
    [J]. ACM TRANSACTIONS ON GRAPHICS, 1988, 7 (03): : 180 - 197
  • [7] EPVD - AN INTERACTIVE PROTOCOL SPECIFICATION AND VALIDATION ENVIRONMENT IN ESTELLE FORMAL SPECIFICATION
    HUANG, KC
    NAIN, TS
    HSIEH, WS
    YANG, CS
    LU, CS
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1992, 35 (1-5): : 71 - 77
  • [8] A formal specification for web services composition and verification
    Shi, YL
    Zhang, L
    Liu, B
    Liu, FF
    Lin, LL
    Shi, BL
    [J]. Fifth International Conference on Computer and Information Technology - Proceedings, 2005, : 252 - 256
  • [9] Formal Specification of Medical Systems by Proof-Based Refinement
    Mery, Dominique
    Singh, Neeraj Kumar
    [J]. ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2013, 12 (01)
  • [10] Change Impact Analysis for Refinement-Based Formal Specification
    Saruwatari, Shinnosuke
    Ishikawa, Fuyuki
    Kobayashi, Tsutomu
    Honiden, Shinichi
    [J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2019, E102D (08) : 1462 - 1477
12345