|Date||6 July 2014, 13:00 CEST|
|Participants||PGL, NB, JF, JC, PJ. Minutes by NB.|
The minutes of the last LB meeting can be found here: minutes
The LB agreed to remove periodic and sporadic threads from VDM++, though there is some discussion still about object patterns and the semantics of object references being used in a functional context. We also hope that Tomohiro Oda will be able to sit in on LB meetings as an expert and to help the LB liase with Japan.
State is the same as the previous meeting.
Just a few small bug fixed this period:
2014-07-06 Map patterns not working with munion
2014-07-05 Correct type check of undefined values
2014-07-02 Correct type check error with record field values
2014-06-23 Fix type checker to report errors for private abstract fn/ops
2014-06-23 Fix for maplet patterns and possible type matching
Version 2.1.0 released
Version 2.1.0 was released 12 June, with small bugfixes (grab it at GitHub). The major features justifying the shift to a 2.1.x version number are the “official” release of PeterJ’s codegen and Luís and Nick’s AST-based POG.
There’s been no progress on the Release Process document since the workshop, but that will be revisited when version 2.1.2 is released. The plan is still to have Kenneth actually do the release, with Joey watching over his shoulder.
There was an enormous (~10,000) download spike in June from Pakistan. I’ve no idea what that’s about, but it rather skews our statistics!
The dev wiki has moved entirely to Gihub. See Overture Developer Support.
We are considering migration of the core wiki at https://github.com/overturetool/overturetool.github.io/issues/4
The following models have been chosen for featured example status:
The MSAW series was also considered as the final example. It can take the place of CashDispenser.
Not discussed this time.
The publication list was reviewed. See Planned Publications.
JF: “We had some great connections made at INCOSE last week for the COMPASS work. I have asked for some connections to Japanese people possibly interested in SoS modelling”. Contact was from Keio University. Also, “[There] is a person frome a jet manufacturer interested in unmanned vehicles and in particular the use of SysML to manage problems with concurrent development - I thought there was an interest in co-modelling but with this person SysML is the place to start, rather than VDM/20-sim.” Contact is from Gulfstream. Also, “I was approached after the COMPASS talk by Gael Blondelle, Director of European Eco-System Development at the Eclipse Foundation. I thought at first he wanted the software, but he wants the COMPASS (and I think by extension Overture) tools community to get involved in one of his things”. JF will send email to introduce Gael to the Overture team.