需求驗證明現

以前學習了驗證的兩種方式：

1.基於OCL+Query的方式

2.基於validation framework的

　　每一個約束都要編寫約束和擴展點，

3.跳過OCL與Query編寫condition

 

要考慮幾點擴展：

1.驗證規則類別的擴展，要求在加載規則時動態找到全部的規則類別。

2.驗證規則的擴展，要求面向將來的開發，可以在加載規則時找到全部的類

3.驗證規則可篩選，要求面向執行二等

4.驗證規則

 

問題點：

　　1.需不需對應擴展ecore模型來實現驗證。

　　　　首先，rucm支持ecore模型的轉換是爲了提供給其餘模型轉換的接口。可是驗證中不須要這個模型，所以沒有必要必定轉換成ecore模型。

結論：

　　1.本身編寫模型遍歷算法、驗證查找的主體。

　　2.仿照OCL的實現架構，實現驗證。規則爲condition。模型遍歷也一樣仿照OCL。