On the Semantics of Modular Structuring Facilities in Specification Languages
Cornelis A. Middelburg · 1994
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. keywords: I.1, II.5, III.7: Description Algebra, Lambda Calculus 1 Introduction Specification languages have been developed, and are being developed, which provide facilities for the modular structuring of specifications. Supporting modularity is obviously considered important. The following goals ...