Title :
Mapping of conceptual specifications into object-oriented programs
Author :
Kraiem, Naoufel ; Brunet, Joël
Author_Institution :
Lab. MASI, Paris VI Univ., France
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;
Conference_Titel :
Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on
Conference_Location :
Capri
Print_ISBN :
0-8186-2830-8
DOI :
10.1109/SEKE.1992.227907
