Без заголовка

Я об этом классе систем http://en.wikipedia.org/wiki/Comparison_of_open_source_configuration_management_software, из них сейчас самые развивающиеся - это Chef (сейчас внедрена в Facebook) и Puppet. Моя идея в том, что все сервера и сетевое оборудование - достаточно детерменированные объекты и информацию о них можно собирать в автоматическом режиме. Обладая формальной онтологией можно было бы многие изменения конфигурации проверять не на тестовом стенде, а еще на этапе модели, что значительно бы ускорило внедрение этих изменений. Но мое знакомство с онтологиями крайне поверхностно, поэтому нагуглить ничего не удалось, а системы, приведенные выше, об этом даже и не "думают". Более того, сейчас во всех этих системах, например, порт, на который надо повесить какой-то сервис, это просто какая-то цифра, которую надо вписать в настройки самого сервиса, всех его клиентов и, например, файрвола. И именно об этом "дурном дублировании" я писал выше. Этого дублирование еще можно частично избежать, но, например, на вопрос "покажи мне все используемые порты", они в принципе, не могут ответить.