Module Specifications and Operations with Constraints
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.
Unable to display preview. Download preview PDF.