D.K.C. Chan and P.W. Trinder. An Object-Oriented Data Model Supporting Multi-methods, Multiple Inheritance, and Static Type Checking: A Specification in Z. In Proceedings of the 8th Z Workshop, Workshops in Computing Series, pages 297--315. Springer-Verlag, 1994.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....it particularly non standard, for instance: Encapsulation does exist, but only between modules and not between classes. Objects can access each others states via message passing, but a module cannot refer to another module s variables. 5.2. 4 Chan and Trinder An OO data model specified in Z In [18] Chan and Trinder present a specification of an OO data model using the specification language Z. In [19] they define a query language over the data model. They list 12 features that their are included in their model, most notably: encapsulation, multiple inheritance and method overloading. The ....

....with SQL in terms of user base and theoretical support. Next we examined different definitions of OO data models. These models differ in their motivations and methodology as well as in the key concepts they have decided to define. The most ambitious in scope is Chan and Trinders Z model [19] [18] which attempts to formalise a number of core OO concepts in a data model and present a query language on it. The specification, however, is far from the simplicity of the relational calculus or the relational algebra and much work needs to be done in finding a more appropriate mathematical ....

Daniel K. C. Chan and Philip W. Trinder. An object-oriented data model supporting multimethods, multiple inheritance, and static type checking: A specification in Z. In Proc. 8th Z User Meeting. Springer-Verlag, 1994.

....active systems. The specifications provided here, like those of [32, 9] abstract over details of data models and query languages, as such features are to a significant extent orthogonal to the active aspects of a database system. Such features can also be specified using formalisms such as Z [7], but their inclusion within the framework would add significantly to the cost of incorporating additional systems. Most previous research on formal specification of active databases has dealt principally with rule analysis, has been system specific, and has not included a description of the ....

D.K.C. Chan and P.W. Trinder. An Object-Oriented Data Model Supporting Multi-Methods, Multiple Inheritance and Static Type Checking. In Proc. 8th Z User Meeting, pages 297--315. Springer-Verlag, 1994.

....task. In other words, methods are dynamically bound. The reference data model supports three kinds of collections, namely set, bag, and list. Collections can be 3 compared using their object identifiers or the elements they contain. A formal definition of the reference data model can be found in [13]. The running example database is a simplified university administration system that records information about students and staff members of a university, its academic departments and courses. Its simplified schema definition is given in Figure 2. For the sake of simplicity, only the relevant ....

D.K.C. Chan and P.W. Trinder. An Object-Oriented Data Model Supporting Multi-methods, Multiple Inheritance, and Static Type Checking: A Specification in Z. In Proceedings of the 8th Z Workshop, Workshops in Computing Series, pages 297--315. Springer-Verlag, 1994.

....David Harper, and Ray Welland. A fair amount of the materials presented in Chapter 2, 3, 4, and 8 of this thesis has been published before in various technical reports, workshop proceedings, conference proceedings, and the Computer Journal [TCH90, CHT92a, CHT92b, CT93, CHT93a, CHT93b, CK94, CT94a, CT94b, CTW95] All the papers involve more than one author and the co authors include Phil Trinder, David Harper, Ray Welland, and David Kerr. However the author is responsible for the majority of the technical substance of these papers and of this thesis. iv Acknowledgements It is a great ....

D.K.C. Chan and P.W. Trinder. An Object-Oriented Data Model Supporting Multi-methods, Multiple Inheritance, and Static Type Checking: A Specification in Z. In Proceedings of the 8th Z User Meeting, Workshops in Computing Series, pages 297--315. Springer-Verlag, 1994.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC