Remove periodic/sporadic from VDM++ dialect

[joey-coleman]

The following bug was originally reported on Sourceforge by mver, 2014-03-30 09:37:43.059000:

1 Identification of the Originator Marcel Verhoef

2 Target of the request: defining the affected components of the language

Removal of periodic (and sporadic) syntax from the VDM++ dialect

3 Motivation for the request

Weak semantics depending on interpreter scheduler settings leads to confusion, as the meaning of "time" is absent from the language.

4 Description of the request, including: (a) description of the modification;

Removal of these constructs from the VDM++ syntax entirely (and the implementation in the interpreters)

(b) benefits from the modification;

Clean-up the notation; as VDM-RT is really intended to deal with time explicitly.

(c) possible side effects.

Existing specifications might be affected, but we suspect that there is very little legacy, as the construct is rarely used due to its peculiar nature.

5 Source code and technical documentation where applicable

Removal from the language reference manual.

6 A test suite for validation of the modification in the executable models.

Not applicable

[joey-coleman]

Comment by peterwvj, 2014-05-11 16:20:15.879000:

• Group: CONSIDERATION --> DISCUSSION

[joey-coleman]

Comment by nick_battle, 2014-07-27 15:29:36.854000:

• Group: DISCUSSION --> EXECUTION

[nickbattle]

The implementation for this has been completed and checked in. The LRM updates are still needed.

[kgpierce]

Marcel will work on the LRM updates in the next few weeks. The LB expects to close this RM at the next NM.

[nlmave]

Fixed documentation in commit 4f02843db735bf98e61f1d46246f6081b9662bcf.

[nlmave]

Closed by LB, see http://wiki.overturetool.org/index.php/Minutes_of_the_LB_NM%2C_26th_October_2014