Overture Tool

Formal Modelling in VDM

Overture Tool

Go to our GitHub Profile

Follow @overturetool

Net Meeting 78

Date 27th April 2014
Participants PGL, JF, NB, PJ, HS. Minutes by NB.

Review Status of the Action List

See Net Meeting Actions

Overture Language Board Status

See http://wiki.overturetool.org/index.php/Minutes_of_the_LB_NM%2C_30th_March_2014.

Briefly, there are now two outstanding RMs, one for object patterns and one to remove the periodic/sporadic threads from VDM++ since it does not have a meaningful concept of time anyway.

Also, a page of the differences between Overture and VDMTools has been produced: http://wiki.overturetool.org/index.php/Differences_between_Overture_and_VDMTools

Status of VDMTools Development

No report this time.

Status of the Overture Components


A selection of small bug fixes this period (this is the VDMJ list, but the same fixes are applied to Overture too). As predicted, given the size of the change, several fixes are to do with the recent type checker changes to add “type constrained” checking of expressions. I think most of these fixes made it into 2.0.6.

2014-04-03 Type constraint fix for variable assignments\ 2014-04-03 Correction for type invariant pattern mismatches\ 2014-03-28 Correction for function value assignments\ 2014-03-23 Type constraint fixes for card, len, mk_() and set ranges\ 2014-03-22 Correction to type checking of set intersections\ 2014-03-20 First cut of type constraints for Statements\ 2014-03-20 Type corrections for iota and map/set/seq comprehensions\ 2014-03-19 Correction for map compose calls with incompatible dom/rng\ 2014-03-19 And more fixes for type-constrained expressions\ 2014-03-18 Yet more fixes for type-constrained expressions\ 2014-03-17 More fixes for type-constrained expressions

Code Generator

The latest build of 2.0.7 contains the first “beta” release of the Java code generator.

Release Planning

No new releases have been planned, though a 2.0.8 to include the fixes for the keyword highlighting bugs found recently would be useful, as well as getting the code generator out for wider testing.

Community Development

Overture Traffic

See Download stats - 15,595 as of 23/04 (137 since the last NM).

No other progress,

Strategic Research Agenda

The Strategic Research Agenda is reviewed every other NetMeeting.

Publications Status and Plans

See Planned Publications. The list was briefly reviewed and some changes made.

Any Other Business

PGL and JF gave a quick update on recent grant applications and student funding, all involving VDM or CML/VDM.