Uma formalização em IMC: o modelo DODM
Abstract
The object types of DODM, the data model of DAMOKLES, a non-conventional DBMS for software engineering environments, are formalized, by using the IMC (Information Modeling by Composition) approach and its language IMCL. The work aims to clarify the underlying concepts of DODM, as well as to test the practical usability of IMC.References
Bjorner, D. and Jones, C.B.: Formal Specification and software development. Englewood Cliffs, Prentice-Hall, 1982.
Dittrich, K.R. et al: DAMOKLES - A database system for software engineering environments. in: International Workshop on advanced programming environments. Trondheim (Norway), June 16-18, 1986. Proceedings. Berlin, Springer-Verlag, 1986. p 353-71. (LNCS 244).
Durchholz, R. and Richter, G.: Concepts for Database Management Systems. in: Klimbie, J.W. and Koffeman, K.L.: Data Base Management. North-Holland, Amsterdam (1974) pp.97-122.
Durchholz, R. and Richter, G.: Information Modelling by Composition - The IMC/IMCL Reference Manual. GMD internal report January 1988 (Publication in preparation).
ISO TC97/SC18/WG3 N901: Formal Specification of ODA Document Strucutures. February 1988.
Pimenta, M.S. O sistema DAMOKLES. in: Price, RT. and Golendziner, L.G.: Bancos de dados para aplicações não convencionais Buenos Aires, Kapelusz, 1989 (IV EBAI).
Pimenta, M.S.: Descrição Formal do DODM em IMC. Trabalho Individual. Porto Alegre, UFRGS/CPGCC, 1989.
Richter, G.: Utilization of Data Access and Manipulation in Conceptual Schema Definitions. Information Systems 6 (1981) 53-71.
Dittrich, K.R. et al: DAMOKLES - A database system for software engineering environments. in: International Workshop on advanced programming environments. Trondheim (Norway), June 16-18, 1986. Proceedings. Berlin, Springer-Verlag, 1986. p 353-71. (LNCS 244).
Durchholz, R. and Richter, G.: Concepts for Database Management Systems. in: Klimbie, J.W. and Koffeman, K.L.: Data Base Management. North-Holland, Amsterdam (1974) pp.97-122.
Durchholz, R. and Richter, G.: Information Modelling by Composition - The IMC/IMCL Reference Manual. GMD internal report January 1988 (Publication in preparation).
ISO TC97/SC18/WG3 N901: Formal Specification of ODA Document Strucutures. February 1988.
Pimenta, M.S. O sistema DAMOKLES. in: Price, RT. and Golendziner, L.G.: Bancos de dados para aplicações não convencionais Buenos Aires, Kapelusz, 1989 (IV EBAI).
Pimenta, M.S.: Descrição Formal do DODM em IMC. Trabalho Individual. Porto Alegre, UFRGS/CPGCC, 1989.
Richter, G.: Utilization of Data Access and Manipulation in Conceptual Schema Definitions. Information Systems 6 (1981) 53-71.
Published
1989-10-25
How to Cite
PIMENTA, Marcelo Soares; HEUSER, Carlos Alberto.
Uma formalização em IMC: o modelo DODM. In: BRAZILIAN SYMPOSIUM ON SOFTWARE ENGINEERING (SBES), 3. , 1989, Recife/PE.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
1989
.
p. 311-324.
ISSN 2833-0633.
DOI: https://doi.org/10.5753/sbes.1989.25268.
