RSL (Raise Specification Language) and Z notation are the most popular and widely used formal specification language. In this paper, we compare the different aspects of the two formal specification languages and analyze the strengths and weakness of the two languages. Based on the analysis we propose the idea of integrating various kinds of formal specification language to model a software system.