Formal Software Analysis Mode

With the developing of Object-Oriented Technology, utilizing reusability is more and more sufficiently in software development. Software patterns are very good methods of the reusing technologies. Software patterns are benefit of reusing good experiences of analyzing and designing. Ad hoc, analysis patterns are expetiences in analysis and abstract at high level. Them are foundation of reusing analysis model.Analysis patterns are described by natural language and graphs. The description is inaccurate and vague so that analysis patterns can' t be understood determinate. This hinders reusing analysis patterns effectively.This paper formalizes analysis patterns with RAISE. After analyzing static structure diagram, present a definite specification by RAISE language and analysis patterns' formal specifications. The formalizing is a foundation of reusing analysis patterns efficiency and automated tools.