Title :
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
Abstract :
A formal approach for object-oriented database modeling and design is presented. It is based on the IFO2 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 IFO2 model into the O2 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; IFO2 model; O2 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;
Conference_Titel :
Computer-Aided Software Engineering, 1993. CASE '93., Proceeding of the Sixth International Workshop on
Print_ISBN :
0-8186-3480-4
DOI :
10.1109/CASE.1993.634814
