配置::模型提供了一個框架,在驗證配置數據的語義內容有所幫助。的項目,也可以用於提供象mplayer的或代碼轉換的複合節目的選項的語義檢查。對於最複雜的軟件,配置升級是一項艱鉅的任務,對大多數人來說。通過配置::型號,軟件可以為他們的用戶順利升級。這是如何運作的?利用該項目中,一個典型的配置的驗證工具將作出的3個部分:用戶界面驗證引擎,它負責驗證由用戶所提供的所有配置信息。存儲的配置信息的存儲設施不,我們已經有一些配置驗證工具?你可能會想的工具,如webmin的。是的,這些工具存在,而且做工精細,但他們有自...