Overture Tool

Formal Modelling in VDM

Overture Tool

Go to our GitHub Profile

Follow @overturetool

Net Meeting 103

Date 2016-11-20 00:00:00 +0100
Participants PGL, NB, TO, NP, PJ, SH, JF, SS. Minutes by PJ.

Review Status of the Action List

See Net Meeting Actions

Overture Language Board Status

A new RM has been submitted by Paul Chisholm. This RM suggests to define a default order for types in VDM-SL. See https://github.com/overturetool/language/issues/39

Status of VDMTools Development

Github repository and community site for VDMTools are available.

Github repository

VDMTools site

Status of ViennaTalk Development

Code name “Cyprus” has been released.

Status of the Overture Components

The following Overture-specific issues have been addressed:

In addition the number of VDM constructs supported by the C code generator has been extended (work by PJ). Furthermore, Victor is looking into developing garbage collection support to address some of the issus we have with respect to memory management in the generated code. Lastly, Miran is looking into code generation of the distributed aspects of VDM-RT.

Release Planning

Next Overture release is due by December 5, 2016.

Community Development

Overture Traffic

See download stats on the downloads page

Follow up on the Business Canvas session from the Overture Workshop

One way to proceed from here is to identify different subjects and discuss them separately. For example,

NP has prepared a document that contains a number of “How can we?” questions. He will make the document available on the Overture Github page. The photos of the business canvas (the “sticky notes”) still need to be summarised. Furthermore, NP will make a summary of the conclusion on the video so we can discuss it at the next meeting.

Publications Status and Plans

See Planned Publications.

New Actions

The following actions were added during the meeting:

Any Other Business