Georg Gottlob, Gertrude Kappel, Michael Schrefl,
"Semantics of Object-Oriented Data Models - The Evolving Algebra Approach"
, in J. W. Schmidt, A. A. Stogny: Next Generation Infomation System Technology, Proceedings of the First East/West Database Workshop, Kiev, USSR, October 1990, Serie Lecture Notes in Computer Science (LNCS), Vol. 504, Springer Verlag Deutschland, Seite(n) 144-160, 10-1990, ISBN: 3-540-54141-1
Original Titel:
Semantics of Object-Oriented Data Models - The Evolving Algebra Approach
Sprache des Titels:
Englisch
Original Buchtitel:
Next Generation Infomation System Technology, Proceedings of the First East/West Database Workshop, Kiev, USSR, October 1990
Original Kurzfassung:
The formal description of the semantics of object-oriented data models is still an open problem. Some characteristic features of object-oriented data models, such as methods and inheritance, involve investigating data and schema. Therefore they can not be handled straightforwardly with first order logic. As an alternative, we propose the evolving algebra approach to specify the formal semantics of object-oriented data models. Evolving algebras provide a framework for defining the operational semantics of programming languages based on dynamic structures. In this paper we show how evolving algebras can be used in particular to define the operational semantics of object creation, of overriding and dynamic binding, and of inheritance at the type level (type specialization) and at the instance level (object specialization).
Sprache der Kurzfassung:
Englisch
Veröffentlicher:
Springer Verlag Deutschland
Serie:
Lecture Notes in Computer Science (LNCS)
Volume:
504
Seitenreferenz:
144-160
Erscheinungsmonat:
10
Erscheinungsjahr:
1990
ISBN:
3-540-54141-1
Anzahl der Seiten:
15
Notiz zur Publikation:
If you are interested in th paper, you may receive a copy (PS or PDF) by sending an e-mail to our office (dke.win@jku.at). Please include the paper-no. (Gott90a) and agree to use the paper for scientific purposes and private use only!
Forschungs-