On the Semantics of Modular Structuring Facilities in Specification Languages

A mathematical framework for the semantics of modular structuring facilities in specification languages is described informally and in broad outline. Its use for a semantics of the modular structuring facilities of a specification language closely related to VDM-SL is briefly explained. The sketched approach is claimed to be applicable to a wide variety of specification languages. It further permits the analysis of the consequences of different degrees of semantic force of the modular structuring facilities. Some general consequences are mentioned. A way to use the presented framework for a semantics of modular structuring facilities added to the standardized version of VDM-SL is outlined