Overture NetMeeting 127

Review Status of the Action List

See Net Meeting Actions

• Licensing of Fujitsu’s VDMJ can be closed, pending the move of everything to VSCode under GPL.

Overture Language Board Status

Open Requests

KP gave a summary of the current open Requests for Clarification and Modification with the Language Board.

The full list of open issues is here.

Status of VDMTools/ViennaTalk

VDMTools

No major updates

ViennaTalk

• VDM-SL cheatsheet in English and Japanese.
  • shows major constructs of VDM-SL in Types, Expressions, Definitions and Statements
  • Example expressions are animated on the browser with “run” buttons.

Status of the Overture Components

VDM for VSCode

• Add Library feature is ready for testing and merging. Right-clicking on the Files explorer in a folder that has a VDM client on or vdm files in the top folder, an Add VDM Library button appears. Changed the activation to catch workspaces that contain vdm files on the top folder. Added a dialect field in the SLSP class so when client is on we just use the dialect in it. In case that is not found we try to match a .vdmsl/.vdmpp/.vdmrt file.

• Working towards coverage and later FMU generation. Added Server-side support for coverage data generation by an extension of the SLSP “translate” request.

• PGL will look into using VSCode for students in the summer.

Release Planning

Now that a new VSCode feature has been added, it was decided to schedule a new release of the extension, and in future to follow a “rolling release” style, where releases are made on a frequent basis, with small functional enhancements.

It was suggested that the VSCode extension is moved from a JR private Github account to either INTO-CPS or (more likely) OvertureTool. HM/JR to progress.

Community Development

Overture Traffic

See download stats on the downloads page

For VSCode see status on the extension page

Overture Workshop

The CFP is out and everyone is encouraged to submit paper proposals.

Strategic Research Agenda

The Strategic Research Agenda is reviewed every other NetMeeting. No progress this time.

Publications Status and Plans

Planned Publications will be updated by HM.

Any Other Business

PGL stated his intention to stand down as the Convener of these Overture net meetings, handing the batton over to HM. We thank Peter for his efforts over the years and look forward to working with Hugo in the chair in future. Peter will, of course, still be involved with Overture as far as possible.