This appendix is from the original documents presenting the CASL concrete syntax design proposal [BCKB+98a].
It illustrates the concrete syntax of basic and structured specifications. The examples 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). The input syntax of the examples is also available by FTP.
Note that the mathematical symbols for set membership and union, displayed in the LaTeX formatting of Sig1 and Sig2, are also to be produced by display annotations, and the input symbol for the set membership predicate should not be `in', since that is the keyword used for subsort membership formulae.
N.B. The examples are intended merely to illustrate various styles of using the CASL concrete syntax, and to give an impression of the display format. Some of them could be expressed much more elegantly and concisely in other ways in CASL!
Examples involving views and architectural specifications are to be added.