In this research we investigate a methodology for functional specification of a large scale and successively revised socio-economic information systems. SNA (Systems of National Accounts) is a typical such system. We proposed the grand design principles about the information system for SNA as follows. In the first place, we reconstruct and design the logic structure of an SNA estimation system by a modular structure. Secondary, we design the data structure which can respond flexibly to the change of original statistics by making transaction and micro data into a range in the future. We have already realized such a data structure by designing an accounts and statistics management as a data object using exchange algebra. Thirdly, we offer the design and development base for the personnel in charge who can engage in research and development of a practical problem or the future estimation method. We have developed an algebraic functional specification method and a domain specific language for the information system of SNA depending on the methodology, which is called AADL (Algebraic Accounting Description Language).