Overture Tool SubProjects

The Overture tool is divided into the following components:

• Abstract Syntax Tree (AST): This is the kernel abstract syntax that all the other subprojects depend upon.
• Eclipse: This is the subproject that enables the different functionality to be invoked from the Eclipse platform.
• Editor: This is the subproject that provides the high-lighting of VDM keywords inside the Eclipse application.
• JML mapping (jmltrans): This is the subproject that enable a mapping back and fourth between VDM++ and JML.
• Parser: This is the subproject that parses the concerete syntax of VDM and produces the abstract syntax.
• Proof support (potrans): This subproject is responsible for taking a VDM model and its proof obligations and then transform them to HOL where the actual obligations can be proved correct.
• Showtrace: This subproject is able to show traces of execution that has been produced by the interpreter from the VICE version of VDMTools.
• Standard libraries (stdlib): This subproject supplies a number of utilities that are used by some of the other subprojects.
• Test automation (traces): This subproject enables test automation using a combinatorial testing approach.
• UML mapping (umltrans): This subproject is responsible for mapping between UML and VDM++.
• VDMJ: This subproject is a stand-alone application that will be built into the Overture platform
• VDMUnit: This subproject contains support for unit testing at the VDM level and it is also connected to Junit from Java when java code generation is used.

The overall status and responsibility for each of these components can be seen from the following table: core

Eclipse plugins

Maven plugins

-- KennethLausdahl - 02 Aug 2009