A mathematical framework for the semantics of modular structuring facilities in\ud specification languages is described informally and in broad outline. Its use for a\ud semantics of the modular structuring facilities of a specification language closely\ud related to VDM-SL is briefly explained. The sketched approach is claimed to\ud be applicable to a wide variety of specification languages. It further permits the\ud analysis of the consequences of different degrees of semantic force of the modular\ud structuring facilities. Some general consequences are mentioned. A way to use\ud the presented framework for a semantics of modular structuring facilities added\ud to the standardized version of VDM-SL is outlined
To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.