Views and Formal Implementation in a Three-Level Schema Architecture for Dynamic Objects

作者: Gunter Saake , Ralf Jungclaus

DOI: 10.1007/3-540-55693-1_33

关键词:

摘要: The three-level schema architecture proposed as part of a framework for database standardization supports data independence resulting in being flexible and adaptable to changes. Dynamic object bases differ from classical models their integrated description structure behaviour objects. arguments introducing the different levels applications hold bases, too, may help large object-oriented applications. This paper discusses transfer approach an describing dynamic Requirements formalisms external, conceptual internal level lead desired language features system specification languages.

参考文章(28)
Gunter Saake, Cristina Sernadas, José Luiz Fiadeiro, T. S. E. Maibaum, Proof-Theoretic Semantics of Object-Oriented Specification Constructs. discovery science. pp. 243- 284 ,(1990)
Hans-Dieter Ehrich, Martin Gogolla, Udo Walter Lipeck, Algebraische Spezifikation abstrakter Datentypen Vieweg+Teubner Verlag. ,(1989) , 10.1007/978-3-322-94709-3
C. Sernadas, H.-D. Ehrich, A. Sernadas, From data types to object types Journal of Automata, Languages and Combinatorics. ,vol. 26, pp. 33- 48 ,(1990)
Malcolm Atkinson, David DeWitt, David Maier, François Bancilhon, Klaus Dittrich, Stanley Zdonik, The object-oriented database system manifesto international conference on deductive and object oriented databases. pp. 946- 954 ,(1994) , 10.1016/B978-0-444-88433-6.50020-4
Gunter Saake, Ralf Jungclaus, Hans-Dieter Ehrich, Object-Oriented Specification and Stepwise Refinement Proceedings of the IFIP TC6/WG6.4 International Workshop on Open Distributed Processing. pp. 99- 121 ,(1991)
Roelf J. Wieringa, Algebraic Foundations for Dynamic Conceptual Models Vrije Universiteit. ,(1990)
H. -D. Ehrich, A. Sernadas, Algebraic implementation of objects over objects Lecture Notes in Computer Science. ,vol. 430, pp. 239- 266 ,(1990) , 10.1007/3-540-52559-9_67
Ralf Jungclaus, Gunter Saake, Cristina Sernadas, Formal specification of object systems TAPSOFT '91. pp. 60- 82 ,(1991) , 10.1007/3540539816_61
Hans-Dieter Ehrich, Amílcar Sernadas, What is an Object, After All? discovery science. pp. 39- 69 ,(1990)