Module Specifications and Operations with Constraints

  • Hartmut Ehrig
  • Bernd Mahr
Chapter
Part of the EATCS Monographs on Theoretical Computer Science book series (EATCS, volume 21)

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.

Keywords

Assure Sorting 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • Hartmut Ehrig
    • 1
  • Bernd Mahr
    • 1
  1. 1.Technische Universität Berlin, FB 20 (Informatik)Berlin 10Germany

Personalised recommendations