Overture Tool

Formal Modelling in VDM

Overture Tool

Go to our GitHub Profile

Follow @overturetool

Net Meeting 38

Date 11 October 2009, 1300 CET
Participants Peter Gorm Larsen, John Fitzgerald, Shin Sahara, Nick Battle, Carlos Vilhena, Sako Hiroshi, Augusto Ribeiro, Kenneth Lausdahl, David Holst Møller and Christian Thillemann.

Review of Action List

The actions are all at Overture on SourceForge.

Then finally 37/4 display stand arrangements, John is paying the fee, action (closed)


Shin sent out the usual VDMTools report (see overture-core list).


Status for each of the Overture components at sourceforge

traces and UML mapper (KennethLausdahl)

Core components

Tools (Maven build automation)

Eclipse (Christian and David)

The Overture IDE has been rewritten and is now committed, it has basic support for all three dialects, outline of SL and debug for vdm++.

POTrans (Miguel)

VDMJ (Nick)

Test Automation Support (Carlos)

Carlos have not got any further with the testing stuff

Overture Language Board suggestions and VDM10

Returning the first four items to the LB for deliberation. There is one new item which is being discussed at the moment (pre/post ops). VDM10 issue 1 or multiple dialects support, the LB come back with a clearer point at VDM-10

Language board issues

The Overture article

Peter will talk to Marcel about the missing subsections, and John will write an intro section.

The Overture wiki

Peter started updating the text on the wiki, and will continue this.


Program of the https://www.overturetool.org/twiki/bin/view/Main/Workshop7?

Publication plans

In preparation:

In review:

In press:

Recently Appeared:

Any Other Business

Next Meeting

October 11th 2009, 1300 CET

Note: next NM should address the problem of 13:00 CET = 20:00 JST.