To validate provisioning information, the dependability assessment process builds a transformation from an XML data model to a logical model.