The Construction and Analysis of Agent Fault-Tolerance Model Based on π-Calculus

摘要

Agent replication and majority voting is a typical method to realize agent fault-tolerance. However, with such method, many agent replicas are produced in agent execution, which may cost much network and time resource. The paper constructs a novel agent migration fault-tolerance model based on integrity verification (AMFIV), which can reduce the complexity degree of agent communication and agent replicas amount so that network and time resource can be much saved. At last, the paper makes analysis for AMFIV based on π-calculus. The π-calculus analysis result proves that the novel model provided by the paper is correct and valid.