配置::模型提供了一个框架,在验证配置数据的语义内容有所帮助。的项目,也可以用于提供象mplayer的或代码转换的复合节目的选项的语义检查。对于最复杂的软件,配置升级是一项艰巨的任务,对大多数人来说。通过配置::型号,软件可以为他们的用户顺利升级。这是如何运作的?利用该项目中,一个典型的配置的验证工具将作出的3个部分:用户界面验证引擎,它负责验证由用户所提供的所有配置信息。存储的配置信息的存储设施不,我们已经有一些配置验证工具?你可能会想的工具,如webmin的。是的,这些工具存在,而且做工精细,但他们有自...