| 分布式对象计算环境下系统容错服务的动态行为描述 |
| |
| 引用本文： | 赵季中,张永进,解建仓,王小江,齐勇. 分布式对象计算环境下系统容错服务的动态行为描述[J]. 系统工程理论与实践, 2002, 22(3): 102-108. DOI: 10.12011/1000-6788(2002)3-102 |
| |
| 作者姓名： | 赵季中 张永进 解建仓 王小江 齐勇 |
| |
| 作者单位： | (1)西安交通大学计算机科学与技术系;(2)西安理工大学计算机与信息管理中心 |
| |
| 基金项目： | 国家“八六三”计划资助重点项目 ( 86 3-30 6 -ZD0 2 -0 2 -1 ) |
| |
| 摘 要： | 分布式对象技术是面向对象技术同分布式计算技术的结合产物 .大规模的分布式对象计算系统要成为高可靠性的系统 ,就必须解决对象失效、节点错误、网络隔离和不可预知的通信延迟等问题 .本文中设计了一种名叫对象容错服务 ( OFS)的解决技术 ,并采用一种基于面向对象高阶 Petri网的形式化方法描述系统的动态行为 .形式化描述方法的采用为 OFS的实现提供了有益的帮助 .
|
| 关 键 词： | 分布式计算 高阶Petri网 CORBA 容错 |
| 文章编号： | 1000-6788(2002)03-0102-07 |
| 修稿时间： | 2000-12-29 |
Dynamic Formal Specification of Fault Tolerant Service on Distributed Object Computing Environment |
| |
| ZHAO Ji-zhong+,ZHANG Yong-jin+,XIE Jian-cang+WANG Xiao-jiang+,QI Yong+. Dynamic Formal Specification of Fault Tolerant Service on Distributed Object Computing Environment[J]. Systems Engineering —Theory & Practice, 2002, 22(3): 102-108. DOI: 10.12011/1000-6788(2002)3-102 |
| |
| Authors: | ZHAO Ji-zhong+ ZHANG Yong-jin+ XIE Jian-cang+WANG Xiao-jiang+ QI Yong+ |
| |
| Affiliation: | (1)Dept. of Computer Science and Technology,Xi'an Jiaotong University;(2)Information Management Center, Xi'an University of Technology |
| |
| Abstract: | |
| |
| Keywords: | distributed computing high level petri net CORBA fault tolerance |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《系统工程理论与实践》浏览原始摘要信息 |
|
点击此处可从《系统工程理论与实践》下载全文 |
