Net Meeting 34

Review of Action List

The actions are all at Overture on SourceForge.

• 33/1: All: Comment on proposed logo - Accepted, Action closed
• 33/2: All: Comment on proposed sty file - Accepted, Action closed
• 33/3: Kenneth: Update Overture wiki and set up “updatesite” for the tools - Carried forward
• 33/4: Peter: announce/invite volunteers for LB membership - Accepted, Action closed
• 33/5: John confirm Ncl workshop programme - Accepted, Action closed
• 34/1: Shin: Make VDM Tools bug traces public
• 34/2: Everyone: Update the webpages
• 34/3: Peter: Create mailing list for LB

VDMTools

Shin sent out the usual VDMTools report (see overture-core list), to which he added:

• No.293 : Java code generation error when using an error statement in VDM Tools - added & fixed

Overture

Status for each of the Overture components at sourceforge

traces (Peter)

The initial problems with execution in JP has been solved. Current supported platforms: Linux, Windows XP and Vista, MAC OS. There are still problems with vppde. A bug report: Vdm tools and traces - GUI not updated properly (feedback from Shin)

eclipse (Christian and David)

Christian reports that work the debugger for VDMJ is working but there are still some problems with the update site concerning the vdmj debugger attachment. The VDM Tools debug protocol is almost done but require some changed to the CORBA interface.

Maven (Kenneth)

VDM Tools plugin The first version has been committed to the SVN with support for type check and code generation. Maven dependencies at one level is supported. Eclipse plugin integration in Maven The core part of the editor and other standalone plugins has been integrated in Maven with the aide of Maven plugins to alter the builde cycle for Eclipse plugins. The eclipse plugins will be committed during the next week.

Overture Community Process

Note: Language Board = Executive Committee.

Mr Sako have accepted the invitation to the language board.

Peter’s comment to the LB is that they should start working on the issues that was suggested by Nick.

Names for the Executive Committee: Peter, Shin, Sako, Nick and Marcel

Workshop

John’s update on the Newcastle Workshop plans: The workshop is taking place at Newcastle University 7th-8th May. The plan is descriped in details in this doc.

Publication plans

In preparation:

• Paper path case study (Marcel & Jozef)
• Pos for Recursive Functions (Augusto, Peter)
• New proof paper (Sander, Peter, Augusto, Jozef)
• UML mapper (Kenneth, HK, Peter)
• CT (Kenneth, Peter)
• Japanese Translation of VDM++ Book (Sakoh, hopefully publication by August 2009)

In review:

• ACM Computing Surveys paper on industrial applications of FMs (Jim, Peter, Juan, John): very last stages of preparation now. Well received.
• VICE Process paper (John, Peter, Sune Wolff) submitted to special issue of International Journal of Software and Informatics
• Felica (Mr Kurita and maybe Shin?) submitted to special issue of International Journal of Software and Informatics.

In press:

• 2nd edition of “Modelling Systems”, Cambridge University Press (John & Peter) Now in production to appear May 2009.
• Jozef and Marcel: Formal Semantics of a VDM Extension for Distributed Embedded Systems; to appear in Festschrift for W P de Roever (LNCS).
• Jozef, A summary of the FM06 and IFM07 paper and enhanced the PVS models, to appear in Festschrift for W P de Roever (LNCS).
• Recently appeared (since last NM):
• Tools for Policy Design in Virtual Organizations: A Proof-of-Concept Study (John, Jeremy) KSCO workshop.
• Recently appeared (since last NM): None

Any Other Business

Next Meeting

June 7th 2009, 1300 CET

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