Minutes of the LB NM, 26th June 2016 - overturetool/language GitHub Wiki

Present: NB,PJ,TO,AH,KS,MV,TO. Minutes by PJ.

The meeting started at 11:02.

1. Minutes of previous meeting

The minutes of the meeting held at the 22nd May 2016 were reviewed and accepted.

2. Status of open actions

None.

3. Discussion of open RMs and issues raised

#35 set1 type

Nick has developed a VDMJ-based prototype implementation of this RM. Paul Chrisholm (PC) has provided us with feedback on the VDMJ-based implementation. VDMTools also has a prototype implementation of this RM available. We still need to update the LRM to describe the language changes. The LB will check with PC if he is interested in helping with updating the LRM. This RM remains in the 'Execution' phase.

#36 allow sequences in bindings

Nick has also developed a VDMJ-based prototype of this RM, but we haven't received any feedback from PC on the prototype implementation yet. We need to check with PC if the prototype implementation meets his expectations. In addition, the LRM changes are missing. This RM is moved to 'Execution'.

4. Discussion

PO generation: We're still working on obtaining a list of POs generated by VDMTools.

ESA student project: There's a student under the ESA-SOCIS project looking into coupling generated code from Overture to TASTE, using ASN.1 as the "binding agent" between those two worlds. As an aside, MV is looking into a full ASN.1 binding for VDM types. MV may have a draft note for the next LB to discuss.

5. Other Business

None.

6. Open actions

None.

Meeting closed 12:48 - 46 minutes.