摘要
分布式对象技术是面向对象技术同分布式计算技术的结合产物 .大规模的分布式对象计算系统要成为高可靠性的系统 ,就必须解决对象失效、节点错误、网络隔离和不可预知的通信延迟等问题 .本文中设计了一种名叫对象容错服务 ( OFS)的解决技术 ,并采用一种基于面向对象高阶 Petri网的形式化方法描述系统的动态行为 .形式化描述方法的采用为 OFS的实现提供了有益的帮助 .
Distributed object technology is combined with object-oriented and distributed computing technology. The high-reliability is the base demand of larger scale distributed object computing system. We have to deal with object crashes, node failures, networks partitioning and unpredictable communication delays. In this paper, we propose a service approach solution called Object Fault Tolerance Service (OFS). Firstly, the service specification of OFS is presented. And then, the dynamic behavior of system used a formal description technique has been described based on object-oriented high-level petri net. Finally, we can get a conclusion of that the formal specification of OFS is benefit for the implementation of OFS.
出处
《系统工程理论与实践》
EI
CSCD
北大核心
2002年第3期102-108,共7页
Systems Engineering-Theory & Practice
基金
国家"八六三"计划资助重点项目 ( 86 3-30 6 -ZD0 2 -0 2 -1 )
