CZT Support for Z Extensions
Loading...
Citations
Scopus:
Altmetric:
Altmetric::
Download
Associated Records
Authors
File Licence
Editors
Date
2005-01-01
Source Title
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Journal Title
Journal ISSN
Volume Title
Publisher
Springer
Melbourne Authors
Affiliation
Computer Science and Software Engineering
Document Type
Conference Paper
Subject Code
Citation
Miller, T., Freitas, L., Malik, P. & Utting, M. (2005). CZT Support for Z Extensions. Romijn, J (Ed.) Smith, G (Ed.) VanDePol, J (Ed.) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3771 LNCS, pp.227-245. Springer. https://doi.org/10.1007/11589976_14.
Access Status
This item is currently not available from this repository
Access URL
Open Access URL
Open Access at PMC
Linked Resource URL
NHMRC Grant Code
ARC Grant Code
Description
Abstract
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.
Notes
Terms of Use
Keywords
Computer Software