Overture Tool

Formal Modelling in VDM

Overture Tool

Go to our GitHub Profile

Follow @overturetool

Net Meeting 96

Date 2016-03-13 00:00:00 +0100
Participants CT, HS, KP, LDC, MV, NB, PGL, SS, TO, VB, PJ. Minutes by PJ.

Review Status of the Action List

See Net Meeting Actions

Overture Language Board Status

Two new RMs were submitted last night. Both of these have been advanced and briefly discussed at today’s LB NM. See https://github.com/overturetool/language/wiki/Minutes-of-the-LB-NM%2C-13th-March-2016-2016 for details.

Other than that the LB is having a meeting with Simon torrow about the first deliverable about the VDM UTP semantics.

Status of VDMTools Development

The negotiation between Kyushu Univ and SCSK went forward. They are still in transaction, but the process is moving forward.

Status of the Overture Components


The following bugs have been fixed since the last NM (bug numbers refer to VDMJ’s issues). Where applicable, the same bugs have been fixed in Overture.

Overture in general

We’re starting to move towards Java8. Overture 2.3.2 is the last version of Overture that will support Java7.

Status of ViennaTalk Development (Smalltalk code generators for VDM-SL)

ViennaTalk: Code Generation

Overture webIDE

The pilot study is available at http://overturecloudide.privatedns.org, where only VDM-SL is supported at the moment. The features supported are:

There are still issues on the backend concerning integration with the Overture core, where parsing and type checking sometimes produces concurrecy exception, such as ConcurrentModificationException when lists are iterated.

The code for both the frontend and backend is available at https://bitbucket.org.

In the future these sources need to be moved to n open repository such as GitHub.

Release Planning

Overture 2.3.2 is finally out.

Wrt release planning PGL has suggested some dates to be targeted for the rest of the year.

Community Development

Overture Traffic

See download stats on the downloads page

Strategic Research Agenda

The Strategic Research Agenda is reviewed every other NetMeeting.

Publications Status and Plans

See Planned Publications.

Any Other Business

For licensing of Overture PGL has started a discussion in a small subgroup about whether it would make sense to host it (and VDMTools) under an OpenModelica like construction.