Abstract: A fatal weakness of existing software design tools (languages) is that it is difficult to describe the interface information between software components and to describe the definition and use information of entities. For this reason we have developed a Pascal-based program structuring laaguage PSL/Pascal to remedy the defect. This paper will introduce its design idea, basic structure and components, application and checking tool.