遠(yuǎn)程虛擬實(shí)驗(yàn)過程模型研究.pdf

1、現(xiàn)代遠(yuǎn)程教育日益成為當(dāng)今世界教育技術(shù)發(fā)展的熱點(diǎn)和潮流.目前,作為教學(xué)中的一個(gè)重要組成部分--實(shí)驗(yàn)教學(xué),還不能在遠(yuǎn)程教育中很好地實(shí)現(xiàn).虛擬實(shí)驗(yàn)是解決遠(yuǎn)程教育中實(shí)驗(yàn)教學(xué)的最佳選擇,但是由于理論和技術(shù)上的原因,遠(yuǎn)程虛擬實(shí)驗(yàn)的開發(fā)還遠(yuǎn)遠(yuǎn)不能滿足遠(yuǎn)程教育的需求,造成這種局面的一個(gè)重要原因是遠(yuǎn)程虛擬實(shí)驗(yàn)的開發(fā)沒有一個(gè)統(tǒng)一的系統(tǒng)模型,這就導(dǎo)致虛擬實(shí)驗(yàn)開發(fā)效率不高、代碼重用率低下、進(jìn)程緩慢、成本過高.針對(duì)遠(yuǎn)程虛擬實(shí)驗(yàn)設(shè)計(jì)中缺乏統(tǒng)一的系統(tǒng)模型問題,該文應(yīng)

2、用面向?qū)ο蠓椒ê蚒ML建模語言對(duì)遠(yuǎn)程虛擬實(shí)驗(yàn)過程進(jìn)行了多側(cè)面和多個(gè)抽象層次的模型分析和構(gòu)建,在所建模型基礎(chǔ)之上,對(duì)遠(yuǎn)程虛擬實(shí)驗(yàn)進(jìn)行了形式化定義,并提出了用對(duì)象Petri網(wǎng)對(duì)虛擬實(shí)驗(yàn)過程模型進(jìn)行描述的方法.整個(gè)建模過程分為五個(gè)主要步驟:一、分析遠(yuǎn)程虛擬實(shí)驗(yàn)系統(tǒng),抽象出系統(tǒng)的核心部分--虛擬實(shí)驗(yàn)過程,進(jìn)一步總結(jié)出虛擬實(shí)驗(yàn)過程模型的構(gòu)成:實(shí)驗(yàn)操作、過程變遷、實(shí)驗(yàn)對(duì)象和實(shí)驗(yàn)分組.二、應(yīng)用UML中的類圖和狀態(tài)圖對(duì)遠(yuǎn)程虛擬實(shí)驗(yàn)過程的靜態(tài)結(jié)構(gòu)進(jìn)行建模

3、,用靜態(tài)模型描述其中的主要對(duì)象和各種對(duì)象間的關(guān)系.三、應(yīng)用UML中的系列圖和活動(dòng)圖對(duì)其動(dòng)態(tài)行為進(jìn)行建模.主要針對(duì)各個(gè)對(duì)象間的交互和原子實(shí)驗(yàn)操作控制過程兩個(gè)方面進(jìn)行,詳細(xì)刻畫其動(dòng)態(tài)特征.四、為了實(shí)現(xiàn)開發(fā)的靈活性和重用性,便于計(jì)算機(jī)實(shí)現(xiàn),同時(shí)并能進(jìn)行自動(dòng)性能分析和驗(yàn)證,以所建模型為基礎(chǔ),對(duì)遠(yuǎn)程虛擬實(shí)驗(yàn)過程進(jìn)行形式化描述.五、給出用對(duì)象Petri網(wǎng)描述虛擬實(shí)驗(yàn)過程的方法.并且用對(duì)象Petri網(wǎng)對(duì)過程變遷、原子實(shí)驗(yàn)操作的控制過程和實(shí)驗(yàn)對(duì)象內(nèi)部控