1、基于Internet 的網(wǎng)絡教學模式實現(xiàn)了從以教師為中心到以學員為中心的教學模式的轉變。這種轉變使得學習環(huán)境中各構件間的控制和管理變得非常復雜，甚至可能決定教學是否能正常進行。因此，在線學習環(huán)境構件間的控制研究是在線學習研究的核心內(nèi)容。 本文通過對傳統(tǒng)教學模式和現(xiàn)代在線學習理論的研究分析，可知在線學習系統(tǒng)是由“學習過程”、“學習指導過程”和“學習資源管理過程”三個相互協(xié)作的子系統(tǒng)組成,構件間的協(xié)作體現(xiàn)了在線學習過程的異步性、并發(fā)

2、性、不確定性和隨機性。針對在線學習過程的這種特性，本文運用Petri 網(wǎng)技術提出了一種在線學習形式化模型，而模型中的變遷和狀態(tài)表征了在線學習過程中教學原子活動與學習狀態(tài)。同時，本文運用Petri 網(wǎng)系統(tǒng)的狀態(tài)矩陣方程的方法對模型進行了可達性驗證，經(jīng)驗證該模型是安全可達的，并根據(jù)隨機Petri 網(wǎng)的狀態(tài)圖同構馬爾可夫鏈（MC）的原理，獲得該模型的馬爾可夫鏈，運用該MC 鏈分析了模型的標記概率密度、位置中的平均標記數(shù)以及變遷的利用率等性能指

3、標。針對在線學習模型的控制特性，提出運用消息中間件技術來實現(xiàn)和控制在線學習模型。模型中構件的控制和驅動是通過收發(fā)消息來實現(xiàn)，其基本策略是通過控制生產(chǎn)、消費不同消費域的消息來實現(xiàn)在線學習模型的控制和驅動。目前，將在線學習模型的消息空間劃分為三個層次：域、主題/隊列和消息，其中課程學習域包含4 類消息主題和一個消息隊列，每個主題/隊列則包含了若干不同類型的消息。 本文最后依此模型構建出一個基于該模型的ELS 在線學習平臺，證明了基于