Premium
CADi: An architecture for Z tools and its implementation
Author(s) -
Toyn Ian,
McDermid John A.
Publication year - 1995
Publication title -
software: practice and experience
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.437
H-Index - 70
eISSN - 1097-024X
pISSN - 0038-0644
DOI - 10.1002/spe.4380250306
Subject(s) - architecture , embedding , computer science , schema (genetic algorithms) , programming language , software engineering , computer architecture , artificial intelligence , information retrieval , art , visual arts
CADi began as a type‐checker for Z specifications, which were embedded within troff documents. In adding other functionality, such as expansion of schema calculus expressions, and alternative functionality, such as an embedding within L A T E X documents, a more open architecture was created into which new tools can be added and alternative tools substituted. This paper gives an overview of CADiZ and describes its open architecture. Many of the ideas used in implementing CADiZ would be applicable to other language processing systems.