Abstract: Refactoring is that you make small changes to your code to improve your design, making it easier to understand and maintrained without to change program behaviours. Aspect Oriented Programming（AOP） is a new technology for software development. In order to

Key words: Rafactoring,Aspect oriented programming, Formal method,MIC, Equivalence, AspectJ