Demand on New Software Development Methodology:High-level Construction for Software Specification
新的软件开发方法论需求：软件定义的高层构造

This paper puts forward a kind of novel methodolgy for software system development, from the point of view of the problem existed in the software development procedure-the gap between the requirement specification level and the program implementation level. We attempt to begin from the specification level of software development to touch the process of high-level specification construction profoundly. We propose a specification language to support multiple semantic dimensions and on this basis build a unified functional model of software system in a specific do- main. Based on these,we apply transformation and refinement methods to the model and transit from the specification level to the implementation level. We expect such a process can change the current software producing procedure in nature.