C_net到可編譯表達(dá)式的映射方法.pdf

1、近幾年，為了縮短軟件的開發(fā)周期和提高軟件的開發(fā)質(zhì)量，柔性的軟件開發(fā)模式被提出。柔性軟件開發(fā)模式能靈活和快速地響應(yīng)用戶需求的變更。其主要特點(diǎn)有以下四點(diǎn)：模型是可模擬的；開發(fā)過程中建模過程自頂向下，模擬修改由底向上地進(jìn)行；在驗(yàn)證模型正確的基礎(chǔ)上生成代碼；支持代碼到模型的逆向變換，將原有的代碼轉(zhuǎn)化成模型，進(jìn)行再次分析。Petri網(wǎng)具有直觀、模擬能力強(qiáng)、具有嚴(yán)密的數(shù)學(xué)驗(yàn)證等優(yōu)點(diǎn)，因此Petri可以較好地滿足柔性軟件開發(fā)的建模需求。但是，其中Pe

2、tri網(wǎng)與程序間的轉(zhuǎn)換問題仍然沒有得到有效的解決。
　　論文主要研究Petri網(wǎng)模型到程序代碼的自動(dòng)轉(zhuǎn)換過程中C_net到可編譯表達(dá)式的映射方法部分。在分析關(guān)聯(lián)矩陣的基礎(chǔ)上，給出了C_net結(jié)構(gòu)中變遷序列的確定算法，實(shí)現(xiàn)了C_net到結(jié)構(gòu)表達(dá)式的具體轉(zhuǎn)換。結(jié)合C_net中數(shù)據(jù)的讀寫關(guān)系，設(shè)計(jì)了C_net結(jié)構(gòu)表達(dá)式到C_net程序表達(dá)式的轉(zhuǎn)換算法。通過對(duì)ATM機(jī)中各個(gè)功能建立C_net模型為例，驗(yàn)證論文研究設(shè)計(jì)的映射方法的可行性。<

3、br>　　另外，C_net是對(duì)系統(tǒng)局部功能的建模，為了滿足增量式軟件開發(fā)模式的需求，論文研究了C_net組合后的正確性判定問題，分別給出無讀寫沖突、考慮讀寫沖突和含有邏輯“或”結(jié)構(gòu)時(shí)組合C_net正確性判定定理。
　　論文中定義的C_net程序表達(dá)式是計(jì)算機(jī)可識(shí)別編譯的表達(dá)式，是連接C_net模型及其所對(duì)應(yīng)的程序的橋梁。C_net表達(dá)式的可編譯性，為C_net到程序的自動(dòng)轉(zhuǎn)換提供了一種可能的途徑。C_net程序表達(dá)式與C_net和