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

fYear

1994

fDate

7-9 Dec 1994

Firstpage

220

Lastpage

228

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering Conference, 1994. Proceedings., 1994 First Asia-Pacific

Conference_Location

Tokyo

Print_ISBN

0-8186-6960-8

Type

conf

DOI

10.1109/APSEC.1994.465258

Filename

465258