| Abstract: | 我們已成功地發展出世界上最先進的電腦 輔助軟體,用於電腦協定(protocol)之設計、驗證 、模擬、縮小及合成.它是建構在設計Petri Nets 及狀態圖的軟體上,這軟體有下列特徵:可模擬 控制及數據流程、減縮及分析、網路模擬、程 式附加、生動化及可變性設計.此項設計成果 已被發表於:Journal ofSoftware - Practice and Experience, August, 1984.在此計畫中,我們將加強此 工具,使其更加有力,能以物料方式來模擬及程 式自動設計.設計者不必以C或C/sup ++/語言,能設 計整個地程式,而是直接將網路以圖形表示,而 可一步一步地檢查網路的運行.這有二大好處: (1)設計錯誤容易被找到;(2)使使用者瞭解網路原理(因而此軟體工具,可用來作電腦輔助教學) .此項軟體發展後,將是軟體發展史的一大里程 埤,這是因為C/sup ++/比C更難去學習.這軟體允許 使用者設計圖形物料,每一物料的形為,可以控 制及數據流程圖設計,將所有物料,以線連結起 來,便可形成一網路而加以模擬及除錯(debugging) .因為螢幕大小有限,因而網路中所能包含的物 料有限.這個問題可以藉著"程式自動設計"解決 之,根據網路連結狀態及每一物件的功能,自動 產生C或C/sup ++/ code,另一好處是模擬效率及速 度會增強. |
