A Method for Software Evolution Model Satisfiability Judgment Base on Software Component | IEEE Conference Publication | IEEE Xplore