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 条
  • [31] Tutorial 1: Abstraction and refinement of concurrent programs and formal specification - A practical view
    Cansell, D
    [J]. PARALLEL AND DISTRIBUTED PROCESSING, PROCEEDINGS, 2000, 1800 : 1037 - 1038
  • [32] Developing usable web interfaces with the aid of automatic verification of their formal specification
    Cassino, Rosanna
    Tucci, Maurizio
    [J]. JOURNAL OF VISUAL LANGUAGES AND COMPUTING, 2011, 22 (02): : 140 - 149
  • [33] RESTful Services and Web-OS Middleware: a Formal Specification Approach
    Bravetti, Mario
    [J]. JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2017, 23 (09) : 808 - 844
  • [34] Formal specification and implementation using a task flow diagram in interactive system design
    Ikeda, M
    Takata, Y
    Seki, H
    [J]. WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL 1, PROCEEDINGS: INFORMATION SYSTEMS DEVELOPMENT, 2001, : 422 - 428
  • [35] FORMAL SPECIFICATION
    BROKATE, K
    [J]. COMPUTER JOURNAL, 1988, 31 (02): : 190 - 190
  • [36] A formal description technique for interactive cockpit applications compliant with ARINC specification 661
    Barboni, Eric
    Navarre, David
    Palanque, Philippe
    Basnyat, Sandra
    [J]. 2007 INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS, 2007, : 250 - 257
  • [37] Formal specification as a tool for objective assessment of safety-critical interactive systems
    Palanque, P
    Bastide, R
    Paterno, F
    [J]. HUMAN-COMPUTER INTERACTION - INTERACT '97, 1997, : 323 - 330
  • [38] Typed formal model for WS-CDL specification of web services composition
    Gu, Xiwu
    Li, Ruixuan
    Lu, Zhengding
    [J]. Journal of Southeast University (English Edition), 2008, 24 (03) : 300 - 307
  • [39] Visual modeling and formal specification of constraints of RBAC using semantic web technology
    Kwon, JuHum
    Moon, Chang-Joo
    [J]. KNOWLEDGE-BASED SYSTEMS, 2007, 20 (04) : 350 - 356
  • [40] INTERACTIVE SPECIFICATION AND FORMAL VERIFICATION OF USER'S VIEWS IN DATA BASE DESIGN.
    Baldissera, C.
    Ceri, S.
    Pelagatti, G.
    Bracchi, G.
    [J]. Journal of the New England Water Pollution Control Association, 1979, : 262 - 272
12345