Assumption Generation Method for Component-Based Software Verification -- A Formal