[CoFI] New note M-4 on architectural specifications

[Don Sannella <dts@dcs.ed.ac.uk>]

A new methodology note:

    Architectural specifications in CASL
    by Michel Bidoit, Don Sannella and Andrzej Tarlecki

has been installed in the CoFI archives:

  http://www.brics.dk/Projects/CoFI/Notes/M-4/
  ftp://ftp.brics.dk/Projects/CoFI/Notes/M-1/doc.dvi
  ftp://ftp.brics.dk/Projects/CoFI/Notes/M-1/doc.ps.Z

N.B. Those attending the CoFI Methodology meeting in Bremen on
Saturday should bring a copy, if possible!

Abstract:
 
    A brief discussion of refinement of CASL specifications
    provides motivation and background for a presentation of the
    rationale and methodological ideas behind architectural
    specifications.  Some details of the design of features for
    architectural specifications in CASL are given as well as some
    hints on their semantics.

The proposed modified design for CASL architectural specifications
that was posted to cofi-language@brics.dk on 17th December is included
as an appendix.  The rest of the note is (a preliminary draft of) the
long-promised rationale for that proposal.

Best regards,
Don Sannella