用进程代数描述CORBA请求调用

陈伟杰; 杜理渊; 傅育熙

首页> 中文期刊> 《上海交通大学学报》 >用进程代数描述CORBA请求调用

用进程代数描述CORBA请求调用

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

用π演算模型来表现ＣＯＲＢＡ请求调用流程．对ＣＯＲＢＡ客户机和服务器端的主要部件（如：接口库、实现库、桩、对象适配器以及两端的ＯＲＢ等）在请求调用过程中的作用都用π演算进程加以表示．利用π演算对描述进程的并行性所具有的独特优势，通过对ＣＯＲＢＡ体系结构的高度简化，希望这一模型能够体现ＣＯＲＢＡ的高度并行和分布的特性．对动态和静态请求调用的分别描述，从理论上表现出它们的共性和区别．

著录项

来源
《上海交通大学学报》 |1998年第10期|58-61|共4页
作者
陈伟杰; 杜理渊; 傅育熙;
展开▼
作者单位

上海交通大学计算机科学与工程系;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计;
关键词
π演算; 请求; CORBA; 面向对象; 进程代数;

相似文献

中文文献
外文文献
专利

1. 用进程代数描述COM接口调用 [J] . 葛鸣铭 ,傅育熙 . 计算机工程 . 2003,第013期
2. 基于进程代数和系统调用的软件行为检测模型 [J] . 申利民 ,王涛 ,马川 . 中国通信 . 2013,第011期
3. 一种基于进程代数的Android组件行为形式化描述方法 [J] . 梁东魁 ,申利民 ,马川 . 小型微型计算机系统 . 2021,第007期
4. 一种能够描述可信特征的进程代数 [J] . 符宁 ,周兴社 ,詹涛 . 计算机研究与发展 . 2011,第011期
5. 基于价格进程代数的Web服务组合描述和成本分析 [J] . 肖芳雄 ,黄志球 ,曹子宁 . 计算机研究与发展 . 2009,第005期
6. 基于系统调用和进程代数CCS的行为建模方法 [C] . 张帆 ,徐明迪 ,游林 . 2011年第五届中国可信计算与信息安全学术会议(CTCIS2011) . 2011
7. 基于CORBA的ORB对象请求代理模型系统研究与设计 [A] . 万泉 . 2003

用进程代数描述CORBA请求调用

摘要

著录项

相似文献

相关主题

期刊订阅