0
我正在開發一個關於SA 論壇中間件中HA應用程序實時升級的項目。 在我的部分研究中,我需要爲我的輸入升級活動文件 製作一個UML配置文件,並驗證該文件是否存在某些依賴性約束。現在我想在我的工作中使用ALLOY 而不是UML,因爲它比UML更抽象和形式化。 ( 當然UML + OCL將是正式的。)。現在我的問題是,如果UML + OCL是正式的,那麼 使用ALLOY有什麼好處? 一般來說,使用Alloy對抗UML有什麼好處?使用Alloy Models