SOFL is a formal language and method for software system analysis, specification and design and it fully supports structured techniques and object-oriented techniques. AOP (Aspect-Oriented Programming) is a new technique for software development. Since AOP leads a completely different way from structured or object-oriented techniques, original SOFL can not been used for AOP modeling. In this paper, we extend SOFL and introduce several new features which will enable SOFL to be used to fully and clearly specify AOP features, such as aspects, pointcuts and advices.