Net Meeting 39

Review of Action List

The actions are all at Overture on SourceForge.

• 36/3: Closed
• 37/1: Closed
• 37/3: LB to improve internal operations. (closed)
• 38/1: Closed

VDMTools

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

Overture

Status for each of the Overture components at sourceforge

traces

No program changes. We are currently in progress of updating the rejected paper and will resubmit it to ASE 2010

AST

A plan to merge both VDMJ and OML ASTs was made.

• Action 39/1: Nick and Peter shall try to define the types inferred by the type checker in VDM

StdLib
Umltrans

No Changes has been made, but next Friday Peter and I will take a look at the stability issue. We have also received a larger model from FJ which we later want to test against the UMLTrans.

Tools (Maven build automation)

Astgen

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)

No progress

VDMJ (Nick)

There have been a large number of small fixes to VDMJ since the last NM - 65 separate SVN updates. Most of them have been small problems that have arisen as a result of the closer scrutiny the system has had since the Overture GUI really became usable (say 0.0.4 onwards) - especially around the time of FM09.

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.

Workshop

Program of the 7th Overture Workshop

Publication plans

In preparation:

• Paper path case study (Marcel & Jozef) end September 2009 for Journal of Systems and Software
• Japanese Translation of VDM++ Book (Sako) – end September 2009
• POs for Recursive Functions (Augusto, Peter)
• CT (Kenneth, Peter, Nick)

In review:

In press:

• Overture Introductory paper aimed at ACM SE Notes (Peter, Nick, Miguel, John, Kenneth, Marcel) - will be published in January
• New proof paper (Sander, Peter, Jozef) accepted to SAC
• Jozef and Marcel: Formal Semantics of a VDM Extension for Distributed Embedded Systems; to appear in Festschrift for W P de Roever (LNCS).

Recently Appeared:

• Industrial applications of FMs (Juan, John, Peter, Jim), accepted for I-Day at FM09.
• UML mapper (Kenneth, HK, Peter) accepted by FM’09.

Any Other Business

Next Meeting

January 3rd 2010, 1300 CET

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