文献类型：期刊文章

作　　者：赵季中[1] 张永进[2] 解建仓[2] 王小江[2] 齐勇[1]

机构地区：[1]西安交通大学计算机科学与技术系,陕西西安710049 [2]西安理工大学计算机与信息管理中心,陕西西安710048

出　　处：《系统工程理论与实践》

基　　金：国家"八六三"计划资助重点项目 ( 86 3-30 6 -ZD0 2 -0 2 -1 )

年　　份：2002

卷　　号：22

期　　号：3

起止页码：102-108

语　　种：中文

收录情况：BDHX、BDHX2000、CSCD、CSCD2011_2012、EI、IC、JST、NSSD、RCCSE、RWSKHX、SCOPUS、ZGKJHX、核心刊

摘　　要：分布式对象技术是面向对象技术同分布式计算技术的结合产物 .大规模的分布式对象计算系统要成为高可靠性的系统 ,就必须解决对象失效、节点错误、网络隔离和不可预知的通信延迟等问题 .本文中设计了一种名叫对象容错服务 ( OFS)的解决技术 ,并采用一种基于面向对象高阶 Petri网的形式化方法描述系统的动态行为 .形式化描述方法的采用为 OFS的实现提供了有益的帮助 .

关 键 词：公布式对象计算环境  系统容错服务  动态行为描述  面向对象 高阶Petri网  

分 类 号：TP311]