Title :
Strategies of Modeling from VDM-SL to JML
Author :
Jin, Dan ; Yang, Zongyuan
Author_Institution :
Dept. of Comput. Sci. & Technol., East China Normal Univ., Shanghai
Abstract :
VDM-SL is one of the most popular formal language used in software development, its mathematical approach allows unambiguous specification and development of high integrity software. JML is a behavioral interface specification language tailored to Java(TM). And the existing JML-based tools of debugging, verifying and testing are mature. This paper discusses the two kinds of specification language and provides a novel design mapping VDM-SL to JML of constant values, variables and constraints. The strategies of the design are illustrated with an example.
Keywords :
Java; formal languages; software engineering; specification languages; JML; Java; VDM-SL; formal language; high integrity software; software development; specification language; Contracts; Debugging; Formal languages; Formal specifications; Java; Programming; Runtime; Specification languages; Testing; Unified modeling language; JML; VDM; design by contract; formal language; software development;
Conference_Titel :
Advanced Language Processing and Web Information Technology, 2008. ALPIT '08. International Conference on
Conference_Location :
Dalian Liaoning
Print_ISBN :
978-0-7695-3273-8
DOI :
10.1109/ALPIT.2008.25
