J. Hale. Seamless and Secure Interoperation of Heterogeneous Distributed Objects. Ph.D. Dissertation, Department of Computer Science, The University of Tulsa, Tulsa, Oklahoma, August 1997.  Home/Search   Document Details and Download   Summary   Related Articles

....the Robust Object Calculus or ROC. It is called robust because it addresses the encapsulation problem of the Object Calculus (OC) 28] The motivation for this research comes from the theoretical work done on the Meta Object Operating System Environment (MOOSE) Project at the University of Tulsa [12]. MOOSE employs formal methods, object technology and a layered semantics for the seamless integration of heterogeneous distributed systems. ROC provides the formal foundation for MOOSE. It is a process calculus tailored to modeling distributed object systems. Upon ROC rests the newlydeveloped ....

....fewer steps in proving add(123,456,ch) evolves to [ch; 5#; 7#; 9#; null#]#] nil. This sort of optimization could be done for many other common operators and data types, e.g. lists, arrays, hashtables, floats, etc. The Meta Object Model of MOOSE would benefit tremendously from this extension [12]. 54 Keywords would be a useful addition to ROCVM. Keywords could be private or public so that they may be invisible or visible to other users. A ROC file might include a declaration of a set of keywords. Every free occurrence of a keyword would be tagged with a special unforgeable character. ....

J. Hale. Seamless and Secure Interoperation of Heterogeneous Distributed Objects. Ph.D. Dissertation, Department of Computer Science, The University of Tulsa, Tulsa, Oklahoma, August 1997.

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