From aurelio.pollicini@jrc.it Mon Dec 21 17:52:50 1992 Received: from relay.iunet.it by dkuug.dk with SMTP id AA09210 (5.65c8/IDA-1.4.4j for ); Mon, 21 Dec 1992 16:54:52 +0100 Received: from [139.191.1.131] by relay.iunet.it with SMTP (5.61++/IDA-1.2.8) id AA22143; Mon, 21 Dec 92 16:55:37 +0100 Received: from iss.isei.jrc.it (is) by jrc.it; Mon, 21 Dec 92 16:50:41 +0100 From: Aurelio Pollicini Date: Mon, 21 Dec 92 16:52:50 +0100 Message-Id: <22878.9212211552@iss.isei.jrc.it> To: SC22WG5@dkuug.dk Subject: About Constraints X-Charset: ASCII X-Char-Esc: 29 Fortran 90 and Beyond: PFS-92.7 To: WG5 From: Aurelio Pollicini, JRC Ispra Date: 21st Dec 1992 Subj: Style of Formal Constraints As a follow-up of my stated interest in independent validation of Fortran 90 compilers (ref: document WG5 N803), I was stimulated to think of a general approach for constraint classification. I spent some weeks in a detailed analysis of Appendix D (as well as of the specific sections of ISO/IEC 1539:1991 which are tightly related to the collection of rules and constraints listed in Appendix D). A part from a few subjects which may be of interest for the Maintenance group, I came to the conclusion that rule constraints are expressed in an informal, proponent-sensitive, discordant style. Of course, a certain difficulty in finding a systematic classification cannot be invoked as an argument for proposing editorial changes to more than 30 constraints. However, in the frame of the 95 revision, the effort of improving the formalism for rule constraints is worth doing. Therefore, a summary of my considerations about an editorial style which makes constraint classification easier will shortly be input to the Requirements Body. The following documents are available, through e-mail, to anyone who has more than a passing interest in constraint classification based on rule-constraint relationships: - PSF-92.4 Fortran 90 Constraint Classification - PSF-92.5 Assigned Constraint Identifiers - PSF-92.8 Potential Items for the Defect Report Index - PSF-92.9 Suggested Editorial Style for Constraints (almost ready) ------------- My best season's greetings to everyboy, Aurelio .