FootnotesTopD Display FormatE Examples

E Examples

This appendix illustrates the concrete syntax of basic, structured, and architectural specifications in CASL libraries (although not all features of CASL, nor all styles of specifications supported by CASL, are covered). The illustrative specifications are not intended for general use in other CASL specifications: comprehensive CASL libraries of specifications of basic datatypes are available separately [RM00], and may be reused in other libraries simply by inserting the appropriate downloading items.

The examples below are shown only in the display format, but the intended input syntax should in general be easy to deduce--in fact, it should be the same text as displayed when browsing the HTML-formatted version of this document (modulo display annotations, which are needed for displaying mathematical symbols such as cup ). The input syntax of the examples is available.

  • E.1 Simple Structured Specifications
  • E.2 Generic Structured Specifications
  • E.3 Architectural Specifications

  • CoFI Document: CASL/Summary -- Version: 1.0.1 -- 25 March 2001.
    Comments to

    FootnotesTopD Display FormatE Examples