Mapping of conceptual specifications into object-oriented programs

Author

Kraiem, Naoufel ; Brunet, Joël

Author_Institution

Lab. MASI, Paris VI Univ., France

fYear

1992

fDate

15-20 Jun 1992

Lastpage

639

Abstract

This research is conducted as part of the Business Class European project. The aim of the project is to promote object-oriented software development within the framework of management information systems. The Business Class development method is supported by an analysis workbench based on the O* method and a design workbench dedicated to the Eiffel language. The communication presents a set of mapping rules from O* specifications to an Eiffel implementation. The practical results as well as the mismatch difficulties can be translated to other object-oriented methods and languages

Keywords

formal specification; management information systems; object-oriented programming; project support environments; research initiatives; systems analysis; Business Class development method; ESPRIT project 5311; Eiffel language; O* method; O* specifications; analysis workbench; conceptual specifications; design workbench; management information systems; mapping rules; mismatch difficulties; object-oriented programs; software development; Artificial intelligence; Design methodology; Information systems; Jacobian matrices; Knowledge engineering; Management information systems; Object oriented databases; Object oriented programming; Problem-solving; Programming; Software engineering; Transaction databases;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on

Conference_Location

Capri

Print_ISBN

0-8186-2830-8

Type

conf

DOI

10.1109/SEKE.1992.227907

Filename

227907