A tool based on a formal approach for object-oriented database modeling and design

Author

Teisseire, M. ; Poncelet, P. ; Cicchetti, R.

Author_Institution

Digital Equipment Ferney Voltaire, France

fYear

1993

fDate

19-23 Jul 1993

Firstpage

131

Lastpage

141

Abstract

A formal approach for object-oriented database modeling and design is presented. It is based on the IFO₂ model, an extension of the semantic model IFO defined by S. Abiteboul and R. Hull (1987). The approach is illustrated through the mapping formalization of the IFO₂ model into the O₂ model. This work, supported by an External European Research Project in collaboration with Digital Equipment Corporation, comes within the scope of a larger project whose aim is to realize a computer aided system for advanced applications modeling and design

Keywords

computer aided software engineering; formal specification; object-oriented databases; object-oriented methods; software tools; Digital Equipment Corporation; External European Research Project; IFO₂ model; O₂ model; advanced applications modeling; database design tool; formal approach; mapping formalization; object-oriented database modeling; semantic model; software tool; Buildings; Collaborative work; Database systems; Graphics; Object oriented databases; Object oriented modeling; Power system modeling; Visual databases; Vocabulary;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer-Aided Software Engineering, 1993. CASE '93., Proceeding of the Sixth International Workshop on

ISSN

1066-1387

Print_ISBN

0-8186-3480-4

Type

conf

DOI

10.1109/CASE.1993.634814

Filename

634814