Patrick A. Muckelbauer. Structural Subtyping in a Distributed Object System. PhD thesis, Department of Computer Sciences, Purdue University, 1996. To appear.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....such support. In addition to describing the interface of objects in the language, the interface construct could be used to describe the interface of distributed objects (servers) independent of the language in which they were written. Structural conformance between remote objects and interfaces [Muc96] would result in decreased coupling between clients and servers compared to name based conformance as in CORBA IDL. The interface construct could also be extended with language support for specifying semantics in the form of object invariants or preconditions and postconditions of methods. Such ....

Patrick A. Muckelbauer. Structural Subtyping in a Distributed Object System. PhD thesis, Purdue University, West Lafayette, Indiana, May 1996.

.... of other efforts including Sun s Spring System[HPM93] OMG s CORBA[OMG91] IBM s SOM DSOM[IBM93] and Microsoft s OLEII [Mic94] our work differs in one substantial way: the structure of interfaces is used for conformance checking rather than interface names (or hierarchies of names) We argue in [Muc96] that this choice is superior both theoretically and practically and leads to reduced coupling in object oriented distributed systems. In this paper, we detail the design and implementation of our structural based distributed object system. While a naive implementation of a structural based ....

....system to traditional inheritance based systems. 3 System Overview As a research vehicle, we have constructed the Renaissance Distributed Object System using structural subtyping as the conformance mechanism. The major tools used to support this are the Lingua Franca type system (described in [Muc96] for describing types and a set of libraries to provide conformance checking and inter domain method invocations between domains described with Lingua Franca programs. Using our tools, a server object implementor describes the object interfaces exported by his her domain in Lingua Franca and ....

[Article contains additional citation context not shown here]

Patrick A. Muckelbauer. Structural Subtyping in a Distributed Object System. PhD thesis, Department of Computer Sciences, Purdue University, 1996. To appear.

....of fi 9. fi is type Anything (i.e. 8ff; ff : Anything) 2.1. 4 Implementation and Performance of Structural Subtyping For a complete discussion of the conformance algorithm used in Lingua Franca including its implementation, a worst case cost analysis, and actual measured performance, see [Muc96] A detailed discussion of a similar algorithm for structural subtyping can also found in [AC93] Briefly, a type is represented at runtime as a node in a directed graph where the edges are pointers to other nodes (types) used in the source node s construction. The nodes contain all the necessary ....

....of argument, these assumptions are made and modeling the structural subtyping relationships for a type t is equivalent to enumerating the distinct structural supertypes of t. It can be shown, however, that there are types in Lingua Franca with an infinite number of distinct structural supertypes[Muc96] Furthermore, such types are not confined to a small set of types but rather constitute a broad class of types. Given such types, it is impossible to construct a finite type hierarchy to model their structural subtyping relationships. In [Muc96] a base set of types with an infinite number of ....

[Article contains additional citation context not shown here]

Patrick A. Muckelbauer. Structural Subtyping in a Distributed Object System. PhD thesis, Department of Computer Sciences, Purdue University, 1996. To appear.

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