Prev Up Next
Go backward to 2 Basic Constructs
Go up to Top
Go forward to 4 Subsorting Constructs

3 Subsorting Concepts

This section introduces the signatures, models, and sentences characterizing basic specifications with subsorts, extending Chapter 1. The notion of satisfaction for subsorted specifications is essentially as for many-sorted specifications.

The intuition behind the treatment of subsorts adopted here is to represent subsort inclusion by embedding (which is not required to be identity), commuting, as usual in order-sorted approaches, with overloaded operation symbols. In the language described in Chapter 4, however, no conditions such as `regularity' are imposed on signatures. Instead, terms and sentences that can be given different parses (up to the commutativity between embedding and overloaded symbols) are simply rejected as ill-formed.

  • 3.1 Signatures
  • 3.2 Models
  • 3.3 Sentences

  • CoFI Document: CASL/Summary --Version 0.99-- 21 April 1998.
    Comments to cofi-language@brics.dk

    Prev Up Next