Computer Science Department
School of Computer Science, Carnegie Mellon University
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.
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 This page maintained by reports@cs.cmu.edu
School of Computer Science homepage