Authors:
Ingrid van Coppenhagen
1
and
Barry Dwolatzky
2
Affiliations:
1
School of Computing, University of South Africa (Florida Campus), South Africa
;
2
School of Electrical & Information Engineering, University of the Witwatersrand, South Africa
Keyword(s):
Implementation, interactive, refinement, specification, Web, XML, Z.
Related
Ontology
Subjects/Areas/Topics:
Internet Technology
;
Multimedia and User Interfaces
;
Web Information Systems and Technologies
;
Web Interfaces and Applications
;
XML and Data Management
Abstract:
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.