Paper Info
Title
CZT support for z extensions
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.
Year
DOI
Venue
2005
10.1007/11589976_14
IFM
Keywords
Field
DocType
different reuse mechanism,shared code,czt framework,integrated framework,z formal specification language,community z tools,czt support,minimise code duplication,maximising reuse,java code,new z extension,design patterns,design pattern,ast,real time,animation,formal method,process algebra,parsing,framework,object oriented,xml schema
Specification language,Programming language,XML,Reuse,Computer science,Formal specification,Code generation,XML schema,Formal methods,Object-Z
Conference
Volume
ISSN
ISBN
3771
0302-9743
3-540-30492-4
Citations 
PageRank 
References 
11
0.69
10
Authors
4
Name
Order
Citations
PageRank
Tim Miller119616.45
Leo Freitas21099.09
Petra Malik3493.84
Mark Utting441421.41