Overture Tool

Formal Modelling in VDM

Overture Tool

Go to our GitHub Profile

Follow @overturetool

Net Meeting 37

   
Date 6 September 2009, 1300 CET
Participants Peter Gorm Larsen, John Fitzgerald, Shin Sahara, Nick Battle, Carlos Vilhena, Sako Hiroshi, Augusto Ribeiro and Marcel Verhoef.

Review of Action List

The actions are all at Overture on SourceForge.

VDMTools

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

Overture

Status for each of the Overture components at sourceforge:

traces and UML mapper (KennethLausdahl)

AST

Added Oml2VppVisitor both vpp and Java. (Other versions of the file will be removed later from the SVN)

StdLib

Umltrans

Tools (Maven build automation)

Astgen

eclipse (Christian and David)

POTrans (Miguel)

Miguel has created a new subproject named Automatic Proof System (APS) (svn:core/proofsupport) where he implemented the basic interaction for the proof system as designed by Sander Vermolen.

VDMJ (Nick)

Nick created a command line client for the DBGp protocol. Nick started the work on the VICE extension execution (previously it only did VICE type checking).

Test Automation Support (Carlos)

Carlos will take over this subject. Kenneth and Peter will help to get started both in terms of current work and future plans.

Overture Community Process

Note: Language Board = Executive Committee.

LB to be downsized to 5 members.

The LB accepted the first three proposals and they are:

The proposals will pass through a stage of deliberation and then execution.

Language Boards Issues

Overture covering several VDM dialects instead of just OML?

Overture will undergo a series of changes to make it more linkable with the VDM “brand”. Dropping the OML name is one of the actions and avoiding the reference to different dialects might help with citations. Referring to it as VDM tools: Next Generation could also improve the visibility of Overture.

Overture will support different VDM dialects. LB is to decide which changes to the dialect will be supported but anybody is allowed to make any their own experiments/changes.

Rodin Report - Kenneth & Miguel

See overture-core list.

Workshop

Program of the 7th Overture Workshop

Publication plans

In preparation:

In review:

In press:

Any Other Business

There will be a Pmaker meeting on the Sunday before FM’09. Everyone is welcome, but please just let John know if you wish to attend.

Next Meeting

October 11th 2009, 1300 CET

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