The Cogito Tool Architecture

Anthony Bloesch and Owen Traynor
Software Varification Research Centre Department of Computer Science, The University of Queensland Qld. 4072 Australia.
{nickson, owen, marku}


The Cogito system provides comprehensive reasoning and development support for modular Z specifications. This paper describes the tool architecture of the Cogito support system. The support system is designed specifically to support the Cogito methodology. All components of the Cogito development environment are described. The manner in which integration is achieved and the form of interaction between the various components of the system is defined. Tool implementation technologies, used in constructing the Cogito toolset, are summarised. The way in which developments are recorded and maintained within the Cogito system is outlined and a definition of the process model for specification construction is given.
Conference Home Page