Overture Tool

Formal Modelling in VDM

Overture Tool

Go to our GitHub Profile

Follow @overturetool

Net Meeting 108

Date 28 May 2017, 00:00 CEST
Participants AA, BB, …, CC. Minutes by DD.

Review Status of the Action List

See Net Meeting Actions

Overture Language Board Status

Work on RM39 Equality and Order Clauses for Type Definitions is continuing and Luis hopes that the feature will be available for the August release of Overture. We had a brief discussion about increasing version numbers, which we feel core should address at this NM. Working Groups: Regarding Community Library Process we hope to have a draft submission template and process for the next NM. Work on the PO documentation has been slow, we wondered if there will be any relevant output from student work at AU.

Status of VDMTools Development

ord/eq clauses

The interpreter on github can animate specs with eq/ord clauses. POG is not done, but will soon generate POs for ord and eq. The updates to LRM will also be translated to Japanese documentation. After stabilizing those updates, the binary packages will be released.

Status of the Overture Components


Some of the Overture standard examples have been improved and updated to use pure operations and sequence binds. In addition, the Java code-generator Maven plugin has been slightly improved.

Release Planning

Next release of Overture is due by June 5. A release candidate was made available on May 26.

We hope to have RM #39 (“order relations”) implemented in the August 14 release of Overture.

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