CMU-CS-97-121
Computer Science Department
School of Computer Science, Carnegie Mellon University


CMU-CS-97-121

Subtyping for Distributed Object Stores (Extended Abstract)

Jeannette M. Wing

April 1997

This extended abstract will appear in the
Proceedings of the Second IFIP International Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS),
July 1997.

CMU-CS-97-121.ps


Keywords: Subtype, object-oriented design, abstraction function, extensible types, mutable types, specifications, semantics, Larch


I review the Liskov and Wing subtype definition that takes into consideration the problem of subtyping in the presence of mutable objects. I then show how this notion of subtyping is relevant to the design of the TOM object repository whose main application today is a data type conversion service accesssible through the Web.

11 pages

Return to: SCS Technical Report Collection
School of Computer Science homepage

This page maintained by [email protected]