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