Abstract: An abstract system model comprising one or more model elements corresponding to one or more infrastructure elements of a deployed system infrastructure is generated. Each model element specifies one or more selectors, and for each model element, each selector includes an indication of at least one infrastructure element that is associated with the model element. An inventory of the one or more infrastructure elements is built. For at least one model element, at least one infrastructure element of the inventory associated with the at least one model element is identified as indicated by the respective one or more selectors of the at least one model element. A bound system model comprising one or more associations between the model elements of the abstract system model and the inventory of the infrastructure elements is generated.