分布式对象计算环境下系统容错服务的动态行为描述

摘要：

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

关键词：分布式计算、高阶Petri网、CORBA、容错

所属期刊栏目：22

分类号：TP311(计算技术、计算机技术)

资助基金：国家高技术研究发展计划863计划863-306-ZD02-02-1

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：102-108