Research on modeling from VDM-SL to JML for systematic software development

This paper analyzes two specification language: VDM-SL of high abstract level and JML of lower abstract level, proposes a tool called VDM-SL_to_JML based on the transformation mapping mechanism, and take Incubator Controller software system for example to describe the whole process of VDM-SL to JML modeling. In a conclusion, the solution of VDM-SL to JML modeling combines the steps from analysis of natural language, specification with development to testing in series, and could make the flow of systematic software development life cycle continues and smooth.