Semantics of Object-Oriented Data Models - The Evolving Algebra Approach

Georg Gottlob; Gertrude Kappel; Michael Schrefl

Semantics of Object-Oriented Data Models - The Evolving Algebra Approach

Georg Gottlob, Gertrude Kappel, Michael Schrefl

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Abstract

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).

Original language	English
Title of host publication	Next Generation Infomation System Technology, Proceedings of the First East/West Database Workshop, Kiev, USSR, October 1990
Editors	J. W. Schmidt, A. A. Stogny
Publisher	Springer Verlag Deutschland
Pages	144-160
Number of pages	15
Volume	504
ISBN (Print)	3-540-54141-1
Publication status	Published - Oct 1990

Publication series

Name	Lecture Notes in Computer Science (LNCS)

Fields of science

102 Computer Sciences
102015 Information systems

Cite this

Gottlob, G., Kappel, G., & Schrefl, M. (1990). Semantics of Object-Oriented Data Models - The Evolving Algebra Approach. In J. W. Schmidt, A. A. Stogny (Ed.), Next Generation Infomation System Technology, Proceedings of the First East/West Database Workshop, Kiev, USSR, October 1990 (Vol. 504, pp. 144-160). (Lecture Notes in Computer Science (LNCS)). Springer Verlag Deutschland.

Gottlob, Georg ; Kappel, Gertrude ; Schrefl, Michael. / Semantics of Object-Oriented Data Models - The Evolving Algebra Approach. Next Generation Infomation System Technology, Proceedings of the First East/West Database Workshop, Kiev, USSR, October 1990. editor / J. W. Schmidt, A. A. Stogny. Vol. 504 Springer Verlag Deutschland, 1990. pp. 144-160 (Lecture Notes in Computer Science (LNCS)).

@inproceedings{a8be9e7432c64916805d3f05503c7dd3,

title = "Semantics of Object-Oriented Data Models - The Evolving Algebra Approach",

abstract = "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).",

author = "Georg Gottlob and Gertrude Kappel and Michael Schrefl",

year = "1990",

month = oct,

language = "English",

isbn = "3-540-54141-1",

volume = "504",

series = "Lecture Notes in Computer Science (LNCS)",

publisher = "Springer Verlag Deutschland",

pages = "144--160",

editor = "\{J. W. Schmidt, A. A. Stogny\}",

booktitle = "Next Generation Infomation System Technology, Proceedings of the First East/West Database Workshop, Kiev, USSR, October 1990",

}

Gottlob, G, Kappel, G & Schrefl, M 1990, Semantics of Object-Oriented Data Models - The Evolving Algebra Approach. in J. W. Schmidt, A. A. Stogny (ed.), Next Generation Infomation System Technology, Proceedings of the First East/West Database Workshop, Kiev, USSR, October 1990. vol. 504, Lecture Notes in Computer Science (LNCS), Springer Verlag Deutschland, pp. 144-160.

Semantics of Object-Oriented Data Models - The Evolving Algebra Approach. / Gottlob, Georg; Kappel, Gertrude; Schrefl, Michael.
Next Generation Infomation System Technology, Proceedings of the First East/West Database Workshop, Kiev, USSR, October 1990. ed. / J. W. Schmidt, A. A. Stogny. Vol. 504 Springer Verlag Deutschland, 1990. p. 144-160 (Lecture Notes in Computer Science (LNCS)).

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

TY - GEN

T1 - Semantics of Object-Oriented Data Models - The Evolving Algebra Approach

AU - Gottlob, Georg

AU - Kappel, Gertrude

AU - Schrefl, Michael

PY - 1990/10

Y1 - 1990/10

N2 - 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).

AB - 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).

UR - http://www.dke.uni-linz.ac.at/research/index.html

M3 - Conference proceedings

SN - 3-540-54141-1

VL - 504

T3 - Lecture Notes in Computer Science (LNCS)

SP - 144

EP - 160

BT - Next Generation Infomation System Technology, Proceedings of the First East/West Database Workshop, Kiev, USSR, October 1990

A2 - J. W. Schmidt, A. A. Stogny, null

PB - Springer Verlag Deutschland

ER -

Gottlob G, Kappel G, Schrefl M. Semantics of Object-Oriented Data Models - The Evolving Algebra Approach. In J. W. Schmidt, A. A. Stogny, editor, Next Generation Infomation System Technology, Proceedings of the First East/West Database Workshop, Kiev, USSR, October 1990. Vol. 504. Springer Verlag Deutschland. 1990. p. 144-160. (Lecture Notes in Computer Science (LNCS)).

Semantics of Object-Oriented Data Models - The Evolving Algebra Approach

Abstract

Publication series

Fields of science

Other files and links

Cite this