CZT support for Z extensions

Tim Miller; Leo Freitas; Petra Malik; Mark Utting

doi:10.1007/11589976_14

Back

Book chapter

Peer reviewed

CZT support for Z extensions

Tim Miller, Leo Freitas, Petra Malik and Mark Utting

Integrated Formal Methods, pp.227-245

Integrated Formal Methods (IFM) International Conference, 5th (Eindhoven, Netherlands, 29-Nov-2005–02-Dec-2005)

Lecture Notes in Computer Science (LNCS), 3771, Springer Berlin Heidelberg

2005

DOI: https://doi.org/10.1007/11589976_14

Files and links (1)

url

https://doi.org/10.1007/11589976_14View

Published Version

Abstract

Standard Z

Object-Z

TCOZ

Circus

parsing

typechecking

animation

design patterns

framework

AST

Community Z Tools (CZT) is an integrated framework for the Z formal specification language. In this paper, we show how it is also designed to support extensions of Z, in a way that minimises the work required to build a new Z extension. The goals of the framework are to maximise extensibility and reuse, and minimise code duplication and maintenance effort. To achieve these goals, CZT uses a variety of different reuse mechanisms, including generation of Java code from a hierarchy of XML schemas, XML templates for shared code, and several design patterns for maximising reuse of Java code. The CZT framework is being used to implement several integrated formal methods, which add object-orientation, real-time features and process algebra extensions to Z. The effort required to implement such extensions of Z has been dramatically reduced by using the CZT framework. © Springer-Verlag Berlin Heidelberg 2005.

Details

Title: CZT support for Z extensions
Authors: Tim Miller (Author) - University of Liverpool, United Kingdom
Leo Freitas (Author) - University of York, United Kingdom
Petra Malik (Author) - University of Waikato, New Zealand
Mark Utting (Author) - University of Waikato, New Zealand
Contributors: J Romijn (Editor)
G Smith (Editor)
J van de Pol (Editor)
Publication details: Integrated Formal Methods, pp.227-245
Conference details: Integrated Formal Methods (IFM) International Conference, 5th (Eindhoven, Netherlands, 29-Nov-2005–02-Dec-2005)
Series: Lecture Notes in Computer Science (LNCS); 3771
Publisher: Springer Berlin Heidelberg
Date published: 2005
DOI: 10.1007/11589976_14
ISBN: 9783540304920
Organisation Unit: School of Science and Engineering - Legacy; University of the Sunshine Coast, Queensland
Language: English
Record Identifier: 99448745302621
Output Type: Book chapter

Metrics

2 File views/ downloads

769 Record Views