A formalization of objects using equational dynamic logic

R.J. Wieringa

doi:10.1007/3-540-55015-1_23

A formalization of objects using equational dynamic logic

R.J. Wieringa

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

13 Citations (Scopus)

39 Downloads (Pure)

Abstract

Order-sorted equational logic is extended with dynamic logic to a specification language for dynamic objects. Special attention is paid to different concepts of encapsulation that play a role in object-orientation. It is argued that the resulting language, CMSL, meets those requirements of the object-oriented database system manifesto [6] that are applicable to object-oriented conceptual models (as opposed to OO databases).

Original language	English
Title of host publication	Deductive and Object-Oriented Databases
Subtitle of host publication	Second International Conference, DOOD '91, Munich, Germany, December 16–18, 1991. Proceedings
Editors	C. Delobel, M. Kifer, Y. Masunaga
Place of Publication	Berlin, Heidelberg
Publisher	Springer
Pages	431-452
Number of pages	22
ISBN (Electronic)	978-3-540-46646-8
ISBN (Print)	978-3-540-55015-0
DOIs	https://doi.org/10.1007/3-540-55015-1_23
Publication status	Published - 1991
Event	2nd International Conference on Deductive and Object-Oriented Databases, DOOD 1991 - Munich, Germany Duration: 16 Dec 1991 → 18 Dec 1991 Conference number: 2

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	566
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	2nd International Conference on Deductive and Object-Oriented Databases, DOOD 1991
Abbreviated title	DOOD
Country/Territory	Germany
City	Munich
Period	16/12/91 → 18/12/91

Keywords

SCS-services
Integrating logic and object paradigm
Formalization of object-oriented concepts

Access to Document

10.1007/3-540-55015-1_23

Cite this

Wieringa, R. J. (1991). A formalization of objects using equational dynamic logic. In C. Delobel, M. Kifer, & Y. Masunaga (Eds.), Deductive and Object-Oriented Databases: Second International Conference, DOOD '91, Munich, Germany, December 16–18, 1991. Proceedings (pp. 431-452). (Lecture Notes in Computer Science; Vol. 566). Springer. https://doi.org/10.1007/3-540-55015-1_23

@inproceedings{c330e507b560478f8c78044d2da17695,

title = "A formalization of objects using equational dynamic logic",

abstract = "Order-sorted equational logic is extended with dynamic logic to a specification language for dynamic objects. Special attention is paid to different concepts of encapsulation that play a role in object-orientation. It is argued that the resulting language, CMSL, meets those requirements of the object-oriented database system manifesto [6] that are applicable to object-oriented conceptual models (as opposed to OO databases).",

keywords = "SCS-services, Integrating logic and object paradigm, Formalization of object-oriented concepts",

author = "R.J. Wieringa",

year = "1991",

doi = "10.1007/3-540-55015-1\_23",

language = "English",

isbn = "978-3-540-55015-0",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "431--452",

editor = "C. Delobel and M. Kifer and Y. Masunaga",

booktitle = "Deductive and Object-Oriented Databases",

address = "Germany",

note = "2nd International Conference on Deductive and Object-Oriented Databases, DOOD 1991, DOOD ; Conference date: 16-12-1991 Through 18-12-1991",

}

Wieringa, RJ 1991, A formalization of objects using equational dynamic logic. in C Delobel, M Kifer & Y Masunaga (eds), Deductive and Object-Oriented Databases: Second International Conference, DOOD '91, Munich, Germany, December 16–18, 1991. Proceedings. Lecture Notes in Computer Science, vol. 566, Springer, Berlin, Heidelberg, pp. 431-452, 2nd International Conference on Deductive and Object-Oriented Databases, DOOD 1991, Munich, Bavaria, Germany, 16/12/91. https://doi.org/10.1007/3-540-55015-1_23

A formalization of objects using equational dynamic logic. / Wieringa, R.J.
Deductive and Object-Oriented Databases: Second International Conference, DOOD '91, Munich, Germany, December 16–18, 1991. Proceedings. ed. / C. Delobel; M. Kifer; Y. Masunaga. Berlin, Heidelberg: Springer, 1991. p. 431-452 (Lecture Notes in Computer Science; Vol. 566).

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

TY - GEN

T1 - A formalization of objects using equational dynamic logic

AU - Wieringa, R.J.

N1 - Conference code: 2

PY - 1991

Y1 - 1991

N2 - Order-sorted equational logic is extended with dynamic logic to a specification language for dynamic objects. Special attention is paid to different concepts of encapsulation that play a role in object-orientation. It is argued that the resulting language, CMSL, meets those requirements of the object-oriented database system manifesto [6] that are applicable to object-oriented conceptual models (as opposed to OO databases).

AB - Order-sorted equational logic is extended with dynamic logic to a specification language for dynamic objects. Special attention is paid to different concepts of encapsulation that play a role in object-orientation. It is argued that the resulting language, CMSL, meets those requirements of the object-oriented database system manifesto [6] that are applicable to object-oriented conceptual models (as opposed to OO databases).

KW - SCS-services

KW - Integrating logic and object paradigm

KW - Formalization of object-oriented concepts

U2 - 10.1007/3-540-55015-1_23

DO - 10.1007/3-540-55015-1_23

M3 - Conference contribution

SN - 978-3-540-55015-0

T3 - Lecture Notes in Computer Science

SP - 431

EP - 452

BT - Deductive and Object-Oriented Databases

A2 - Delobel, C.

A2 - Kifer, M.

A2 - Masunaga, Y.

PB - Springer

CY - Berlin, Heidelberg

T2 - 2nd International Conference on Deductive and Object-Oriented Databases, DOOD 1991

Y2 - 16 December 1991 through 18 December 1991

ER -

A formalization of objects using equational dynamic logic

Abstract

Publication series

Conference

Keywords

Access to Document

Fingerprint

Cite this