Policy-Driven Framework for Static Identification and Verification of Component Dependencies