Dynamic Formal Specification of Fault Tolerant Service on Distributed Object Computing Environment

赵季中,张永进,解建仓,王小江,齐勇
DOI: https://doi.org/10.3321/j.issn:1000-6788.2002.03.017
2002-01-01
Systems Engineering - Theory & Practice
Abstract: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.
What problem does this paper attempt to address?