1 Scope
This part of ISO/IEC 13817 specifies the model based specification language VDM-SL (Vienna Development Method — Specification Language). It specifies:
-
— two representations: the mathematical and interchange;
-
— the syntax;
-
— the static semantics;
-
— the dynamic semantics;
-
— conformity for specifications and tools.
It does not specify:
-
— the proof obligations;
-
— the reification rules;
-
— the size or complexity of a specification that will exceed the capacity of any specific data processing system or the capacity of a particular tool, nor the actions to be taken when the corresponding limits are exceeded;
-
— the minimal requirements of a data processing system that is capable of supporting an implementation of a tool;
-
— the method that tools use for reporting errors.