基于B方法的RFID中間件系統(tǒng)設(shè)計(jì).pdf

1、隨著物聯(lián)網(wǎng)的高速發(fā)展，無(wú)線射頻識(shí)別(RadioFrequencyIdentification，RFID)技術(shù)的應(yīng)用范圍越來(lái)越廣泛，快速多樣化的發(fā)展對(duì)RFID技術(shù)的適應(yīng)性、靈活性及可維護(hù)性有了更高的要求，RFID中間件由此應(yīng)運(yùn)而生。RFID中間件能夠處理來(lái)自讀寫器的原始標(biāo)簽信息，提供上層應(yīng)用所感興趣的、有效的數(shù)據(jù)，使上層應(yīng)用與讀寫器等RFID硬件設(shè)備能夠連接起來(lái)。RFID中間件從本質(zhì)上來(lái)說(shuō)是一個(gè)軟件系統(tǒng)，而軟件系統(tǒng)的缺陷和漏洞難以避免，如

2、何保證對(duì)它的可靠性成為影響RFID系統(tǒng)穩(wěn)定運(yùn)行的關(guān)鍵。B方法是目前應(yīng)用比較廣泛的形式化方法之一，它建立在嚴(yán)格的數(shù)學(xué)基礎(chǔ)之上，通過(guò)一系列的證明義務(wù)來(lái)證明系統(tǒng)構(gòu)造的正確性，進(jìn)而保證設(shè)計(jì)的正確性和系統(tǒng)的可靠性。
　　本文根據(jù)EPCglobal提出的RFID系統(tǒng)架構(gòu)中對(duì)應(yīng)RFID中間件的應(yīng)用層事件(ApplicationLevelEvent，ALE)標(biāo)準(zhǔn)進(jìn)行RFID中間件的模塊劃分和非形式化的設(shè)計(jì)，然后按照B方法軟件開(kāi)發(fā)的一般流程對(duì)系統(tǒng)進(jìn)

3、行設(shè)計(jì)和開(kāi)發(fā)。文章首先介紹了RFID、RFID中間件和ALE標(biāo)準(zhǔn)的相關(guān)背景知識(shí)，在全面了解了B方法的數(shù)學(xué)基礎(chǔ)、驗(yàn)證理論和開(kāi)發(fā)過(guò)程的基礎(chǔ)上，提煉出B方法提高軟件可靠性的有利因素。然后根據(jù)應(yīng)用層事件標(biāo)準(zhǔn)將RFID中間件系統(tǒng)劃分為事件處理、訪問(wèn)控制和硬件管理三大模塊，結(jié)合標(biāo)準(zhǔn)中相關(guān)接口的設(shè)定對(duì)RFID中間件各模塊進(jìn)行非形式化的設(shè)計(jì)，得到各模塊的UML類圖。使用B方法對(duì)模塊進(jìn)行形式化分析和設(shè)計(jì)，得到系統(tǒng)的形式化抽象模型。最后按照B方法軟件開(kāi)發(fā)的