1、本文借鑒支持分布式協(xié)同工作的組播通信及移動Agent組播通信的研究成果，結(jié)合遷移工作流系統(tǒng)的特點(diǎn)，提出了一種基于邏輯令牌環(huán)結(jié)構(gòu)的遷移工作流實例組播通信模型，并根據(jù)該模型設(shè)計了保證實現(xiàn)可靠組播通信語義的全序組播通信協(xié)議。詳細(xì)的給出了該協(xié)議的數(shù)據(jù)結(jié)構(gòu)及相應(yīng)的組播通信算法，并對協(xié)議的正確性進(jìn)行了證明，對協(xié)議的性能進(jìn)行了分析。該協(xié)議使用令牌來實現(xiàn)組播消息的次序化，保證了組播消息的全序性：通過設(shè)計適當(dāng)?shù)木彌_機(jī)制來保證消息的可靠傳輸及組播消息傳輸?shù)?/p>

2、原子性，有效的解決了組播通信過程可能存在的全局不一致的問題，確保了遷移實例可靠的組播通信。 根據(jù)該組播通信模型，設(shè)計了一種容錯的基于層次結(jié)構(gòu)的組成員管理機(jī)制，該機(jī)制能夠有效的實現(xiàn)對組成員的加入、退出及出錯的管理。層次結(jié)構(gòu)的設(shè)計有利于組播通信系統(tǒng)的擴(kuò)展，使得該系統(tǒng)具有較強(qiáng)的伸縮性。針對組播通信過程中可能存在的成員失效問題，提出了一種隨機(jī)心跳故障檢測方法，能夠及時檢測發(fā)生錯誤的組成員并將它移出通信組，實現(xiàn)了可靠組播通信系統(tǒng)的差錯控制