Abstract
In this section we extend the theory of module specifications presented in chapters 2 to 6 by constraints as introduced in chapter 7. This extension is most important for practical applications because it allows to state the properties of the operations in the interface parts of the module specifications in a much more flexible way. While the theory in chapters 2 to 6 only allows to use equations to state such properties we are now able to use any kind of constraints including first order logical formulas as well as initiality, generating, and free generating constraints.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Ehrig, H., Mahr, B. (1990). Module Specifications and Operations with Constraints. In: Fundamentals of Algebraic Specification 2. EATCS Monographs on Theoretical Computer Science, vol 21. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-61284-8_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-61284-8_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-64776-5
Online ISBN: 978-3-642-61284-8
eBook Packages: Springer Book Archive