Abstract
Large and complex specifications are easily built out of simpler ones by means of (a small number of) specification-building operations.
In the previous chapters, we have focused attention on basic specifications and detailed how to use the various constructs of Casl to write meaningful, but relatively simple, specifications. The aim of this chapter is to discuss and illustrate how to assemble simple pieces of specifications into more complex, structured ones. In particular we explain how to extend specifications, make the union of several specifications, as well as how to rename or hide symbols when assembling specifications. Parametrization and instantiation of generic specifications are explained in the next chapter.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Bidoit, M., Mosses, P.D. (2004). 6 Structuring Specifications. In: Bidoit, M., Mosses, P.D. (eds) CASL User Manual. Lecture Notes in Computer Science, vol 2900. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-44397-1_6
Download citation
DOI: https://doi.org/10.1007/978-3-540-44397-1_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20766-5
Online ISBN: 978-3-540-44397-1
eBook Packages: Springer Book Archive