靜態約束檢查項目
使用者按下儲存時，系統驗證流程結構是否符合基本規範：
- 每個流程必須有一個開始活動與一個結束活動。
- 開始活動：無前驅，至少一個後繼。
- 結束活動：無後繼，至少一個前驅。
- 分支活動：有且只有一個前驅，至少一個後繼。
- 匯聚活動：有且只有一個後繼，至少一個前驅。
- 一般活動：至少一個前驅與一個後繼。
- 每條規則必須有起始與終結活動。
- 任兩條規則的起迄活動不能完全相同（防止重複連線）。
動態執行期檢查（未實作）
包含規則條件編譯驗證、流程死循環偵測等，屬於進階主題，本系列暫不涵蓋。
實作建議
在儲存命令中遍歷所有活動與規則，依上述規則逐一檢查，違規時彈出提示並中斷儲存流程。可將檢查邏輯封裝為 Validator 類別，提高可維護性。
