CSPL: 一個類似 Ada95, 以 Unix 為基的程序環境

Abstract

這篇論文描述一個新的、以程序為中心的軟體發展環境，稱為〝共時軟體 程序語言〞（Concurrent Software Process Language, CSPL）。 CSPL 軟體程序語言結合了類似 Ada95 的語法（因為 Ada95具有強大的描 述能力），並以 Unix shell 作為 CSPL 的語意（因 Unix shell 便於直 接執行）。 本論文增強原來 CSPL 版本的功能，使其具有下面三種功能 ：多角色及多使用者的系統，新物件型態可繼承已定義的物件型態，並具 物件庫系統來管理各物件及其關係。 CSPL環境的原型已經建立完成，並 寫出 IEEE Example Problem 之 CSPL程式來說明其功能。 This paper presents a new process-centred environment called "Concurrent Software Process Language" (CSPL). The CSPL integrates Ada95-like syntax (for its modeling power) and Unix shell semantics (for its enactment capability) in the software process language. The CSPL enhances its earlier version to provide the new features of multi-role and multi-user system, inheritance, and objectbase management system. A CSPL environment prototype has been built. And it has been used to develop the process program for an IEEE Example Problem to demonstrate its capabilities.