A mapping system from Object-Z to C++

M. Fukagawa, T. Hikita, H. Yamazaki
Proceedings of 1st Asia-Pacific Software Engineering Conference  
Object-Z is an extension of the formal specification language Z, augmenting the class concept as a structuring facility. This paper introduces and discusses a structural mapping system f r o m Object-Z to the programming language C++, and reports on its implementation o n UNIX. The structural mapping translates an Object-Z specification consisting of classes into class interfaces of C++ such as data members and prototypes of member functions. Thus it is not intended as a code generation system,
more » ... but rather as a tool for analyzing specification (including syntax and type checking) and for aiding a software developer in obtaining code. Through the implementation of the mapping system several language features of Object-Z and C++ concerning object-orientation are clarified. Object-and C++ We here assume the reader the basic knowledge of Z, Object-Z and C++. However, we very briefly review and summarize some of their important language features mainly concerning object-orientation, which will be needed for our realization of a mapping sys-220 0-8186-6960-4 $04.00 0 1994 IEEE
doi:10.1109/apsec.1994.465258 dblp:conf/apsec/FukagawaHY94 fatcat:g76vvmucuna5jbe7xkgiijpm44