Net Meeting 81

Review Status of the Action List

See Net Meeting Actions

• 41-1: Video on Deploying VDM

PGL has created the first slides series with the text he would like to speak of. So far Nick has given feedback and it is with Marcel now. Action carried forward.

• 59-1: Reconsider SRA input and structure

Action closed. Replaced by 80-1.

• 75-2 LB migration finished. Action closed.

Action closed. Find the repository here: https://github.com/overturetool/language

• 76-2: Overture community forming

Action closed.

• 79-1: Move discussion of Overture components

Action closed.

• 79-2: Create list of UI tests

Carried forward.

• 80-1: Revise Strategic Goals for 2020

Carried forward.

Overture Language Board Status

The RM proposing to add the object pattern to the list of patterns in VDM has been moved to the discussion phase. The discussion was started via the core mailing list August 3.

Status of VDMTools Development

SS has reported the status of VDMTools to be unchanged.

Status of the Overture Components

VDMJ

There were the usual trickle of bug fixes in VDMJ since last time:

• 2014-07-25 Disable periodic and sporadic threads for VDM++
• 2014-07-23 Type checker correction for abstract subclass detection
• 2014-07-07 Account for is_ expressions in and clauses

Combinatorial Testing

We completed a change to the CT evaluation such that the expansion becomes lazy instead of expanding all test sequences before the first test is executed. The change makes it possible to run much larger sets of tests, and has the advantage that evaluation starts immediately.

• 2014-08-08 CT update completed, awaiting development merge.

Testing

• A new test framework has been added
• A new module has been added that when finished will test the examples we bundle with the tool
• Tests have been added to exercise the CT runtime code.

Release Planning

No specific news for this meeting. There may be a release prior to the end of August, depending on time — if not, next release won’t be until early October.

Community Development

Overture Traffic

Do not see Download stats but use Google analytics instead. If you need access please email (Kenneth Lausdahl)

A pdf version as of August 7, 2014 is available here: Media:Analytics All Web Site Data Audience Overview 20140707-20140806.pdf

For download of the bundles see: Overture download page

Web site

• Overturetool.org have been updated with content from various websites to combine this into a single VDM/Overture page
• http://www.vdmbook.com/ will be forwarded to overturetool.org
• http://www.vdmportal.org/ will be forwarded to overturetool.org
• The websites should not be dropped entirely since the links are used in books.

Publications Status and Plans

The publication list was reviewed. See Planned Publications.

Any Other Business

The current approach is to initiate the discussion of RMs via the core mailing list when they enter the discussion phase. There was a small discussion concerning this approach, and people generally agree that it would be a good idea to move the discussion to Github instead and use the new LB tracker.