CASL Design Proposal

[pdmosses@brics.dk]

Latest News:

URL: http://www.brics.dk/Projects/CoFI/Documents/CASL/Proposal/
URL:  ftp://ftp.brics.dk/Projects/CoFI/Documents/CASL/Proposal/

              CASL - The CoFI Algebraic Specification Language
                               Design Proposal

                                 14 May 1997

     This document is available for browsing on WWW as Hypertext, and
     for printing on A4 paper in Postscript and DVI formats.

Summary

     This and the accompanying documents comprise the complete CASL
     Design Proposal, which is hereby submitted by CoFI to the IFIP
     Working Group on Foundations of System Specification, WG 1.3.

Documents

The final adjustments to the proposed design for CASL have just been made,
and are reflected in version 0.97 of the CASL Summary [Ini97b], which gives
an abstract syntax for CASL and informally describes the intended semantics.

The accompanying documents (Rationale [Ini97c][Ini97a], Formal Semantics
[Gro97], Syntax and Examples [KB97][VBC97]) are currently being updated
accordingly. They are all available in versions corresponding to previous
versions of the Summary. The expected dates of delivery of the updated
versions are given below. The overall CoFI coordinator must apologize to
IFIP WG 1.3 for not having been able to provide final versions of all the
documents at the time of submission of this Design Proposal.

It is recommended to wait with printing the CASL Rationale and Summary until
Tuesday, 20 May, although the differences from the current versions should
be mostly very minor, mainly concerning presentation and wording. Concerning
the Formal Semantics and the Syntax and Examples: printed copies of the
updated versions of these documents will be made available at the IFIP
meeting, as they are expected to be ready only a few days beforehand;
however, the current versions generally give a good impression of what may
be expected, so one may like to browse or print them straight away.

 Date Document
 6/5  CoFI Rationale v0.96
 20/5 CoFI Rationale v0.97
 6/5  CASL Rationale v0.96
 20/5 CASL Rationale v0.97
 14/5 CoFI Summary v0.97 DRAFT
 20/5 CoFI Summary v0.97
 6/5  CoFI Semantics v0.95
 29/5 CoFI Semantics v0.97 DRAFT
 2/5  CoFI Syntax and Examples v0.95 (Bremen, Paris-DRAFT)
 29/5 CoFI Syntax and Examples v0.97 (Bremen, Paris)
 20/5 CoFI Tools Summary
 29/5 CoFI Methodology Summary

References

 [Gro97]
     CoFI: Semantics Task Group. CASL - The CoFI Algebraic Specification
     Language, tentative design: Language summary, version 0.95, with
     annotations concerning the semantics of constructs. CoFI Note: S-4.
     Hypertext, Postscript, DVI, LaTeX, 1997.
 [Ini97a]
     CoFI: The Common Framework Initiative. CASL - The CoFI Algebraic
     Specification Language, rationale. CoFI Document: CASL/Rationale.
     Hypertext, Postscript, DVI, LaTeX, 1997.
 [Ini97b]
     CoFI: The Common Framework Initiative. CASL - The CoFI Algebraic
     Specification Language, summary. CoFI Document: CASL/Summary.
     Hypertext, Postscript, DVI, LaTeX (to appear), 1997.
 [Ini97c]
     CoFI: The Common Framework Initiative. CoFI: The Common Framework
     Initiative for Algebraic Specification and Development, rationale. CoFI
     Document: Rationale. Hypertext, Postscript, DVI, LaTeX, 1997.
 [KB97]
     Bernd Krieg-Brückner. A proposal for a concrete syntax for CASL.
     Preliminary versions: directory; revised version: Postscript (to
     appear), 1997.
 [VBC97]
     Frédéric Voisin, Michel Bidoit, and Christine Choppy. A concrete syntax
     for CASL (tentative proposal). Preliminary version: Postscript; revised
     version: Postscript (to appear), 1997.

----------------------------------------------------------------------------
CoFI CASL Document: Proposal ---- 14 May 1997.
Comments to cofi-language@brics.dk