Uma formalização em IMC: o modelo DODM
Resumo
O trabalho apresenta a descrição formal dos tipos de objetos do DODM, o modelo de dados do SGBD orientado à engenharia de software DAMOKLES, usando a abordagem de formalização IMC (Information Modeling by Composition) e a respectiva linguagem IMCL. A intenção é permitir uma melhor compreensão do DODM, bem como testar a aplicabilidade de IMC a casos reais.Referências
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.
Publicado
25/10/1989
Como Citar
PIMENTA, Marcelo Soares; HEUSER, Carlos Alberto.
Uma formalização em IMC: o modelo DODM. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 3. , 1989, Recife/PE.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
1989
.
p. 311-324.
DOI: https://doi.org/10.5753/sbes.1989.25268.
