Revised study note on architectural specifications [PDM-2] installed

[pdmosses@brics.dk]

> * Architectural specifications: Peter Mosses is revising [PDM-2] to
> take account of some comments sent to cofi-language.  The new version
> will be announced on cofi-language later this week, together with a
> concise summary of the changes.

Sorry for the delay (again).  Please find the announcement appended.

> The editor of the Tentative Language Design Summary aims to release
> v0.94 by MONDAY 4 NOVEMBER.

It now looks more likely to be tomorrow...

----   --------------------------------------------
\  /  | Peter D Mosses         <pdmosses@brics.dk> |
CoFI  | Common Framework Initiative  - Coordinator |
/  \  | WWW URL: http://www.brics.dk/Projects/CoFI |
----   --------------------------------------------

The revised version of [PDM-2], a study note on architectural
specifications, is now installed, available for browsing at URL:
http://www.brics.dk/Projects/CoFI/StudyNotes/Lang/PDM-2.html
and for printing at URL:
ftp://ftp.brics.dk/pub/BRICS/Projects/CoFI/StudyNotes/Lang/PDM-2.ps.Z,
ftp://ftp.brics.dk/pub/BRICS/Projects/CoFI/StudyNotes/Lang/PDM-2.dvi.

Changes: The following changes have been made to the previous version (0.1),
in response to various comments that appeared on the cofi-language mailing
list, and after discussion with Michel Bidoit:
 o The first example of an architectural specification has been simplified.
 o The sharing example has been corrected.
 o The explanation of implicit sharing constraints has been improved.
 o It is shown that the extension assumption does not prevent hiding.
 o Named function types are allowed, and provide useful abbreviations.
 o Specifications parametrized by algebras are considered, and the
   methodological consequences of breaking encapsulation principles are
   questioned.
 o Generic architectural specifications are motivated.
 o A revised abstract syntax for architectural specifications is proposed.