Abstract：To solve the lack of behavior verification in existing software process verification due to the main considerations of structure verification and property verification, an algebraic reasoning approach was proposed for verifying behavior of software evolution processes. The software evolution process meta model (EPMM) was extended with algebra of communicating process (ACP) to propose software evolution process meta model algebra(EPMMA). According to the software evolution process models modeled by EPMM, EPMMA was used to define behavior specification formally. Based on the axiom system of EPMMA, equational reasoning was used to verify whether the behavior of software evolution process models met the behavior specification. The algebraic reasoning was emphasized to modelbased reasoning. The results show that the axiom system of EPMMA is reasonable.
2013, Vol. 34 
