Abstract
A mathematical framework for the semantics of modular structuring facilities
of specification languages is described informally and in broad outline.
Its use for defining the modular structuring facilities of VVSL, a specification language which incorporates most of VDM-SL, is briefly explained as well.
The sketched approach is claimed to be applicable to a wide variety of specification languages.
The approach further permits the analysis of the consequences of different degrees of semantic force of the modular structuring facilities.
Some general consequences are also mentioned.
Electronic version.