A system, method, and computer program product for provisioning software on at least one node in a plurality of computational nodes in a distributed information processing system are disclosed. The method includes accepting a plurality of requirements associated with a software product. The plurality of requirements is expanded into multiple sets of installation requirements. At least one set of installation requirements in the multiple sets of installation requirements is minimized to produce at least one minimized set of installation requirements. At least one installation topology is determined using Rough Set Theory for the software product based on the at least one minimized set of installation requirements. The at least one installation topology is compared to a set of capabilities included on at least one computational node to determine a respective set of missing resources for the at least one computational node.