[發明專利]描述及開發動態行為應用系統的方法與系統

有效

• 申請號: 201210100410.4
• 申請日: 2006-05-16
• 公開（公告）號: CN102736919A
• 公開（公告）日: 2012-10-17
• 發明（設計）人: 夏壽民
• 申請（專利權）人: 夏壽民
• 主分類號: G06F9/44
• 分類號: G06F9/44
• 代理公司: 北京清亦華知識產權代理事務所(普通合伙) 11201
• 代理人: 黃德海

1.一種包括至少一個用于設計應用軟件系統行為的動態系統類型的計算機系統，其特征在于，所述計算機系統包括：

一個設計工具，所述設計工具用于生成所述動態系統類型的設計文檔以便代碼生成器能根據所述動態系統類型的設計文檔生成表示所述動態系統類型的二進制代碼，其中所述二進制代碼能夠由執行平臺裝載到內存中而為所述組合動態系統類型創建組合動態系統實例。

2.根據權利要求1所述的計算機系統，其特征在于，所述動態系統類型包括一個第一個簡單動態系統類型或一個第一個組合動態系統類型。

3.根據權利要求2所述的計算機系統，其特征在于，所述第一個組合動態系統類型包含多個階段機類型，一個結束情況集或一個結束函數，其中所述一個結束情況集至少包含一個結束情況，所述結束情況包含一對結束條件和結束代碼，其中結束條件描述在何種情況下所述第一個組合動態系統類型的實例會結束，結束代碼用來標識對應的結束條件。

4.根據權利要求3所述的計算機系統，其特征在于，所述一個結束函數會返回結束代碼以標明在何種情況下所述第一個組合動態系統類型的實例會結束。

5.根據權利要求3所述的計算機系統，其特征在于，每個所述階段機類型包括一個或多個階段類型，其中每個階段類型包括一個子動態系統類型以及至少一個遷移，每個遷移有一個遷移條件和一個目標階段，每個所述子動態系統類型包括一個第二個簡單動態系統類型或一個第二個組合動態系統類型。

6.根據權利要求3所述的計算機系統，其特征在于，至少一個所述至少一個的階段機類型進一步包括：靜態實例數，用于描述出該所述至少一個的階段機類型的靜態實例的數量。

7.根據權利要求3所述的計算機系統，其特征是，至少一個所述多個階段機類型僅具有一個所述至少一個的階段類型。

8.根據權利要求2所述的計算機系統，其特征在于，所述的簡單系統類型進一步包括：

第一個所述子系統類型，用于描述出待發生的外部事件；以及

第二個所述子系統類型，用于描述出為響應發生的所述外部事件而執行的內部動作。

9.根據權利要求3所述的計算機系統，其特征在于，至少一個所述至少一個的組合系統類型是以一種程序語言、一種數據描述語言、一種基于XML的語言和一種圖形語言之一來描述。

10.根據權利要求5所述的計算機系統，其特征在于，進一步包括：

至少一個組合系統實例，包括：

一個對所述第一個組合系統類型的引用；

一個結果用來記錄所述至少一個組合系統實例結束時的情況；以及

至少一個階段機；

其中所述至少一個階段機包括：對所述至少一個的階段機類型的一個引用、一個當前階段和至少一個階段；

其中所述至少一個階段包括：對所述至少一個的階段類型的一個引用和一個子系統實例；

其中所述子系統實例是所述第二個組合系統類型的實例或所述第二個簡單系統類型的實例中的至少一個；

其中所述第二個簡單系統類型的實例包括：對所述第二個簡單系統類型的一個引用和一個對執行所述第二個簡單系統類型行為的成果進行記錄的結果。

11.根據權利要求10所述的計算機系統，其特征在于，所述計算機系統進一步包括所述執行平臺。

12.根據權利要求5所述的計算機系統，其特征在于，所述計算機系統進一步包括所述代碼生成器。

13.根據權利要求9所述的計算機系統，其特征在于，所述至少一種圖形語言包括：

至少一個包含框，用于可視化地表示所述應用系統的一部分，至少一個所述至少一個包含框包括多個子包含框，

至少一個帶有標識符的雙向鏈接組件用于表示所述多個子包含框中的兩個之間的一組交流，而所述標識符標明了所述的一組交流必需遵循的一個協議規范，和

多個結束點組件；

其中所述多個結束點組件中至少有一個組件具有一個用于描述出該包含框在何種條件下會結束的結束條件組件。

14.根據權利要求11所述的計算機系統，其特征在于，所述結束條件組件可視化地以一段文本，一個邏輯表達式和一個數學公式之一來表示。