Number: CS 47/92
Author(s): MATSKIN, M., HAAV, H.-M., KALJA, A., RUKSHENAS, R., PERKMANN, H.
Title: Object-oriented data models and methods of computations. 14 p.
Language: English
ABSTRACT. This report addresses the problem of dynamic modification of objects
and classes in Object-Oriented (OO) systems and the problem of automatic
propagation of changes in Object-Oriented DataBases (OOBD). Our proposal is
along an integrated approach of logic programming and OO programming. We
propose a methodology based on metalanguage for representing problem-oriented
semantics of OO system (including specification of conditions for automatic
propagation of changes in OODBs) and on Partial Deduction (PD) as a technique
for specialization of specifications in the metalanguage.