Title :
A mapping system from Object-Z to C++
Author :
Fukagawa, M. ; Hikita, T. ; Yamazaki, H.
Author_Institution :
Dept. of Comput. Sci., Meiji Univ., Kawasaki, Japan
Abstract :
Object-Z is an extension of the formal specification language Z, augmenting the class concept as a structuring facility. The paper introduces and discusses a structural mapping system from Object-Z to the programming language C++, and reports on its implementation on 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, 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
Keywords :
C language; formal specification; object-oriented languages; object-oriented programming; specification languages; C++; OOP; Object-Z; Unix; class concept; class interfaces; data members; formal specification language Z; language features; mapping system; member functions; object-orientation; programming language; specification; structural mapping; structural mapping system; structuring facility; type checking; Computer science; Electronic mail; Formal specifications; History; Prototypes; Software engineering; Software prototyping; Software tools;
Conference_Titel :
Software Engineering Conference, 1994. Proceedings., 1994 First Asia-Pacific
Conference_Location :
Tokyo
Print_ISBN :
0-8186-6960-8
DOI :
10.1109/APSEC.1994.465258