FORMAL SPECIFICATION AND REFINEMENT FOR AN INTERACTIVE WEB EXAMPLE

Ingrid van Coppenhagen, Barry Dwolatzky

2006

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.

Paper Citation

in Harvard Style

van Coppenhagen I. and Dwolatzky B. (2006). FORMAL SPECIFICATION AND REFINEMENT FOR AN INTERACTIVE WEB EXAMPLE . In Proceedings of WEBIST 2006 - Second International Conference on Web Information Systems and Technologies - Volume 1: WEBIST, ISBN 978-972-8865-46-7, pages 89-96. DOI: 10.5220/0001237100890096

in Bibtex Style

@conference{webist06,
author={Ingrid van Coppenhagen and Barry Dwolatzky},
title={FORMAL SPECIFICATION AND REFINEMENT FOR AN INTERACTIVE WEB EXAMPLE},
booktitle={Proceedings of WEBIST 2006 - Second International Conference on Web Information Systems and Technologies - Volume 1: WEBIST,},
year={2006},
pages={89-96},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001237100890096},
isbn={978-972-8865-46-7},
}

in EndNote Style

TY - CONF
JO - Proceedings of WEBIST 2006 - Second International Conference on Web Information Systems and Technologies - Volume 1: WEBIST,
TI - FORMAL SPECIFICATION AND REFINEMENT FOR AN INTERACTIVE WEB EXAMPLE
SN - 978-972-8865-46-7
AU - van Coppenhagen I.
AU - Dwolatzky B.
PY - 2006
SP - 89
EP - 96
DO - 10.5220/0001237100890096