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

Author

Zhou, Jin ; Jin, Dan

Author_Institution

Manage. Sci. & Eng. Dept., Fudan Univ., Shanghai, China

fYear

2010

fDate

26-28 May 2010

Firstpage

2312

Lastpage

2317

Abstract

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.

Keywords

natural language processing; software engineering; specification languages; JML modeling; VDM-SL_to_JML; incubator controller software system; natural language; specification language; systematic software development life cycle; transformation mapping mechanism; Engineering management; Formal languages; Java; Life testing; Natural languages; Programming; Software systems; Software testing; Specification languages; System testing; Eclipse plug-in; JML; Systematic Software Development; VDM-SL; formal language;

fLanguage

English

Publisher

ieee

Conference_Titel

Control and Decision Conference (CCDC), 2010 Chinese

Conference_Location

Xuzhou

Print_ISBN

978-1-4244-5181-4

Electronic_ISBN

978-1-4244-5182-1

Type

conf

DOI

10.1109/CCDC.2010.5498815

Filename

5498815