Revised note on architectural specifications

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

A revision of CoFI note M-4

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

is available under the following URLs:

    http://www.dcs.ed.ac.uk/home/dts/pub/CoFI/archs.dvi
    http://www.dcs.ed.ac.uk/home/dts/pub/CoFI/archs.ps
    http://www.dcs.ed.ac.uk/home/dts/pub/CoFI/archs.pdf

It will be installed in the CoFI archives as soon as Peter gets back
from his trip.

The main difference to the previous version is that the examples that
were missing before are now present.  Included among them are the
long-promised examples of the concrete syntax of architectural
specifications.

Abstract:
 
   One of the most novel features of CASL, the Common Algebraic
   Specification Language, is the provision of so-called architectural 
   specifications for describing the modular structure of software
   systems.  A brief discussion of refinement of CASL specifications
   provides the setting for a presentation of the rationale behind
   architectural specifications.  This is followed by some details of
   the features provided in CASL for architectural specifications,
   hints concerning their semantics, and simple results justifying
   their usefulness in the development process.

Best regards,
Don Sannella