C_net到可編譯表達式的映射方法.pdf

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

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

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