【摘 要】
：
该课题旨在用π-演算对COM的基本体系结构进行解释,选取了COM实现过程以及COM创建对象与接口调用细节作为切入点,重点研究在请求调用过程中,客户端、COM库、组件程序,包括在
论文部分内容阅读
该课题旨在用π-演算对COM的基本体系结构进行解释,选取了COM实现过程以及COM创建对象与接口调用细节作为切入点,重点研究在请求调用过程中,客户端、COM库、组件程序,包括在跨进程情况下对象代理/接口代理、组件存根/接口存根等部件间的互操作关系,用π-演算给予了形式化的描述.该文的主要工作有:1. 在进程内组件和进程外组件的情况下,给出了COM的实现过程的π-演算模型,以模型的方法表现了客户、COM、组件的互操作行为,以及在是否跨进程的条件下各部件行为的区别与联系.2. 用π-演算对COM实现创建对象和接口调用的细节进行了描述,以形式化的方法反映了COM的进程透明特性. 该课题的创新之处在于将COM中的接口映射到π-演算中的通道的概念.这个假设是合理的,因为无论COM中的接口或是π-演算中的通道,本质上反映的都是连接的概念.在这样的假设下,π-演算可以传输通道名的特点,恰巧可以体现COM中部件间通讯行为的变化,在模型中得到了充分的体现.
其他文献
冷轧板带的生产是国家钢铁工业发展水平的重要标志。近30年来，作为国家钢材品种结构调整重点的冷轧板带的产量和生产技术都获得飞速发展。同时，随着冷轧产品种类的增多，用户对冷
随着数据库的广泛应用，如何保证数据库中数据的安全成为数据库研究的重点之一，为了保证数据库数据的安全访问，数据库管理系统（DBMS）自身提供了一系列安全控制机制，包括数据库用户身
联合作战是现代战争的主要作战样式，运用作战实验的方法研究和制定联合打击方案，已成为各国军方赢得战争胜利的重要途径。在联合作战仿真建模中，多分辨率、多层次建模引起了众多
当今信息处理中占绝大比例的是语言文字的处理，与传统的理性主义方式相辅的是经验主义方法，其中大规模真实文本语料库加工因具有实用性强、见效快的特点，普遍受人欢迎。 语料
该文在研究现有较新算法的基础上,提出了一种固定背景下运动视频对象的自动分割方法,该方法首先用灰度互帧差的四次矩判决的方法来检测视频帧中是否含有运动对象.该文采用了
移动agent凭借其可移动性、自主性和智能性,在电子商务领域得到了广泛应用.交易的安全性是决定电子商务成败的关键因素之一.由于移动agent可以在异构的网络中自主移动,它带来
目前,集中式供热是中国重点支持发展的供热形式,该文以鸡东热网为对象,主要叙述了热网微监控系统软件的设计与实现.该文首先对软件组件技术进行了介绍.随后,在对热网监控系统
该文主要研究IEEE802.11中网络服务质量机制.该文简要介绍了无线局域网的背景、概念、优势、应用前景以及无线局域网的多个标准,以及目前IEEE802.11中网络服务质量的研究动态
该文对iSCSI代理及其实现技术进行了初步的研究,主要的工作内容有:1、详细分析了目前版本(Draft 19)的iSCSI协议.2、对工作于不同层的代理技术进行了研究,并以HTTP和FTP为例