一個新的軟體處理程序模式

Abstract

由於軟體品質決定於軟體處理程序，如果我們想改進軟體的品質，那我們就得要注 意軟體處理程序。所以最近軟體工程界相當注意軟體處理程序之描述及建構。 而軟體處理程序模式正是軟體處理程序之抽象的描述。傳統的軟體處理程序模式不 能描述各種環境元件，例如，文件及人員。此外，它也不能描述分散並行的軟體處 理程序。尤有進者，可執行性亦是軟體處理程序模式一個重要的議題。一個好的軟 體處理程序模式亦必需能表示出如何去執行軟體處理程序。 在本論文中，我們提出一個軟體處理程序模式及一個軟體處理程序圖型表示法。在 我們的軟體處理程序模式中，軟體處理程序圖型表示法是一個重要的表示法。它採 納了修正式派曲網路及時限式派曲網路的特性。軟體處理程序圖型表示法亦能表現 出軟體處理程序並行的特色及其中之大量訊息。 我們建構模式之方法如下： １）以頂點作業網路來描述軟體處理程序，以此當成軟體處理程序的高層描述。 ２）頂點作業網路轉成軟體處理程序圖型表示法，而軟體處理程序圖型表示法將被 階層式地分解、精練以得到詳細的動作及大量訊息。 ３）軟體處理程序圖型表示法再轉成處理程序程式以執行軟體處理程序。