Architecture style is an important guideline for the architecture design.It constructs a common term space for the communication of the stakeholders and benefits the design reuse as well as code reuse.This paper attempts to provide a general formal framework for the style specification and make the variability of software architecture explicit.This framework can support modeling structure constraint

topology constraint and behavior constraint of the style.Through the introduction of the framework into ABC method

the paper offers a style-based architecture modeling method and supplies a graphical architecture modeling tool.