《ISO-13568-CORR-1-2007.pdf》由会员分享，可在线阅读，更多相关《ISO-13568-CORR-1-2007.pdf（12页珍藏版）》请在三一文库上搜索。
1、ICS 35.060 Ref. No. ISO/IEC 13568:2002/Cor.1:2007(E) ISO/IEC 2007 All rights reserved Published in Switzerland INTERNATIONAL STANDARD ISO/IEC 13568:2002 TECHNICAL CORRIGENDUM 1 Published 2007-07-15 INTERNATIONAL ORGANIZATION FOR STANDARDIZATION ORGANISATION INTERNATIONALE DE NORMALISATION INTERNATIO
2、NAL ELECTROTECHNICAL COMMISSION COMMISSION LECTROTECHNIQUE INTERNATIONALE Information technology Z formal specification notation Syntax, type system and semantics TECHNICAL CORRIGENDUM 1 Technologies de linformation Notation Z pour la spcification formelle Syntaxe, systme de caractres et smantique R
3、ECTIFICATIF TECHNIQUE 1 Technical Corrigendum 1 to ISO/IEC 13568:2002 was prepared by Joint Technical Committee ISO/IEC JTC 1, Information technology, Subcommittee SC 22, Programming languages, their environments and system software interfaces. Copyright International Organization for Standardizatio
4、n Provided by IHS under license with ISO Licensee=IHS Employees/1111111001, User=Wing, Bernie Not for Resale, 08/07/2007 01:57:28 MDTNo reproduction or networking permitted without license from IHS -,-,- Copyright International Organization for Standardization Provided by IHS under license with ISO
5、Licensee=IHS Employees/1111111001, User=Wing, Bernie Not for Resale, 08/07/2007 01:57:28 MDTNo reproduction or networking permitted without license from IHS -,-,- ISO/IEC 13568:2002/Cor.1:2007 Defect 13568/001: Use of UCS Page 18, in 6.1 At the end of the fi rst paragraph, add the following sentence
6、s. “Reference is also made to characters General Category and to decimal digits Decimal Digit Value, as defi ned for the characters by Unicode18.The characters are assumed to be in Normalization Form C19.” Page 19, in 6.2 In line 8, replace “other UCS chars with Number property, but Number, Decimal
7、Digit” by “any other UCS characters with General Category N* except Nd”. In line 11, replace “Number, Decimal Digit property” by “General Category Nd”. In line 14, replace “any characters of the mathematical toolkit with letter property” by “char- acters of the mathematical toolkit with General Cate
8、gory L*”. In line 15, replace “letter property” by “General Category L*”. In lines 34-35, replace “any characters of the mathematical toolkit with neither letter or number property” by “characters of the mathematical toolkit with General Category neither L* nor N*”. In lines 36-37, replace “neither
9、letter or number property” by “General Category S*, P* or M*”. Page 20, in 6.3 In line 4, replace “property” by “General Category”. Page 20, in 6.4.2 In line 5, replace “UCS defi nes a corresponding decimal digit value” by “Unicode defi nes a corresponding Decimal Digit Value”. Page 21, in 6.4.3.3 I
10、n line 1, replace “UCS letter property” by “General Category L*”. Page 21, in 6.4.4.1 In line 2, replace “0000 02B9 MODIFIER LETTER PRIME” by “0000 2032 PRIME”. Page 21, in 6.4.4.3 In line 10, replace “0000 300A LEFT DOUBLE ANGLE BRACKET” by “0000 27EA MATH- EMATICAL LEFT DOUBLE ANGLE BRACKET”. In l
11、ine 11, replace “0000 300B RIGHT DOUBLE ANGLE BRACKET” by “0000 27EB MATH- EMATICAL RIGHT DOUBLE ANGLE BRACKET”. 1 ISO/IEC 13568:2002/Cor.1:2007(E) Copyright International Organization for Standardization Provided by IHS under license with ISO Licensee=IHS Employees/1111111001, User=Wing, Bernie Not
12、 for Resale, 08/07/2007 01:57:28 MDTNo reproduction or networking permitted without license from IHS -,-,- Page 22, in 6.4.4.4 In line 6, replace “|0000 2028 LINE SEPARATOR” by “ 0000 2500 BOX DRAWINGS LIGHT HORIZONTAL”. In line 10, replace “(new line) 0000 2029 PARAGRAPH SEPARATOR” by “x 0000 2514
13、BOX DRAWINGS LIGHT UP AND RIGHT”. Page 22, in 6.4.4.5 In line 2, replace “0000 000A LINE FEED” by “0000 2028 LINE SEPARATOR”. At the end, add the following. “Newlines represented in accordance with 20 shall all be treated as NLCHAR. NOTE 1 This ensures the conventional interpretation of LINE FEED (L
14、F), LINE TABULA- TION (VT), FORM FEED (FF), CARRIAGE RETURN (CR) and NEXT LINE (NEL). All Unicode characters with General Category Zs shall be treated as SPACE. NOTE 2 This includes the characters SPACE, EN SPACE, EM SPACE, THREE-PER-EM SPACE, FOUR-PER-EM SPACE, SIX-PER-EM SPACE, PUNCTUATION SPACE,
15、THIN SPACE, HAIR SPACE, MEDIUM MATHEMATICAL SPACE. It excludes CHARACTER TABULATION.” Page 23, in 6.4.6.1 In line 11, replace “0000 005C REVERSE SOLIDUS” by “0000 2216 SET MINUS”. Page 24, in 6.4.6.5 In line 3, replace “0000 3008 LEFT ANGLE BRACKET” by “0000 27E8 MATHEMATICAL LEFT ANGLE BRACKET”. In
16、 line 4, replace “0000 3009 RIGHT ANGLE BRACKET” by “0000 27E9 MATHEMATICAL RIGHT ANGLE BRACKET”. Page 83, in A.2.4.3 In line 5, replace “U+300A” by “U+27EA”. In line 6, replace “U+300B” by “U+27EB”. Page 86, in A.2.5.1 In line 11, replace “U+005C” by “U+2216”. Page 87, in A.2.5.5 In line 6, replace
17、 “3008” by “27E8”. In line 7, replace “3009” by “27E9”. Page 175, in Bibliography In line 9, delete “1)”, and delete the corresponding footnote (“To be published”). Add the following references. “18 The Unicode Consortium, The Unicode Standard, Version 5.0.0, defi ned by: The Unicode Standard, Versi
18、on 5.0 (Boston, MA, Addison-Wesley, 2007. ISBN 0-321-48091-0)” “19 The Unicode Consortium, Unicode Standard Annex #15: Unicode Normalization Forms (http:/www.unicode.org/reports/tr15/)” “20 The Unicode Consortium, Unicode Standard Annex #14: Line Breaking Properties (http:/www.unicode.org/reports/tr
19、14/)” 2 ISO/IEC 13568:2002/Cor.1:2007(E) Copyright International Organization for Standardization Provided by IHS under license with ISO Licensee=IHS Employees/1111111001, User=Wing, Bernie Not for Resale, 08/07/2007 01:57:28 MDTNo reproduction or networking permitted without license from IHS -,-,-
20、Defect 13568/002: L AT EX zed environment Page 88, in A.2.7.1 Replace this clause by “Each formal Z paragraph appears between a pair of beginxxx and endxxx L ATEX environment commands. Text not appearing between such commands is informal narrative.” Page 89 Insert new clause: “A.2.7.6 Other paragrap
21、h mark-up Other unboxed formal paragraphs (those rendered without an outline) shall be enclosed in a L ATEX zed environment. beginzed . endzed The mark-up beginzed shall be converted to a ZEDCHAR character. The mark-up endzed shall be converted to an ENDCHAR character.” Defect 13568/003: L AT EX the
22、orem environment Page 89 Insert the following at beginning of the new A.2.7.6. “Conjecture paragraphs shall be enclosed in a L ATEX theorem environment, which takes a single argument containing a name for the conjecture. begintheoremname . endtheorem The mark-up begintheoremnameshall be converted to
23、 a ZEDCHAR character. The mark-up endtheorem shall be converted to an ENDCHAR character.” Page 184, in Index Add the following entries. “L ATEX mark-up environment, axdef, 88 gendef, 88 schema, 88 theorem, 89 zed, 89” 3 ISO/IEC 13568:2002/Cor.1:2007(E) Copyright International Organization for Standa
24、rdization Provided by IHS under license with ISO Licensee=IHS Employees/1111111001, User=Wing, Bernie Not for Resale, 08/07/2007 01:57:28 MDTNo reproduction or networking permitted without license from IHS -,-,- Defect 13568/004: Semantic equation for schema universal quan- tifi cation expression Pa
25、ge 76, in 15.2.5.13 Replace this semantic relation by e (e o oPi: ; .; in: n) o oP E = M : Model t : TM| t: eEM i,.,in (t t) eE(M t) t In the narrative that follows, insert “appropriately restricted” before “union”. Repeat the same changes on page 133, in C.6.2.3. Defect 13568/005: Range of operator
26、 precedences Page 36, in 8.3 Add “NOTE 5 The range of an operators Prec NUMERAL is not constrained.” Defect 13568/006: Lexis of punctuation characters Page 19, in 6.2 In line 6, after “LETTER” insert “| PUNCT”. After line 25, before the defi nition of SPECIAL, insert the following new rule. PUNCT=,
27、| ; | : | . ; In line 32, in the SYMBOL rule, delete “: | ; | , | . | ”. In line 37, in the SYMBOL rule, replace “SPECIAL” with “PUNCT or SPECIAL”. Page 20, in 6.3 In lines 5 and 6, replace “SPECIAL” with “PUNCT or SPECIAL”. Page 21, before 6.4.4 Insert “6.4.4 Punctuation characters MathCode positio
28、nCharacter name ,0000 002CCOMMA ;0000 003BSEMICOLON :0000 003ACOLON .0000 002EFULL STOP” Renumber subsequent clauses in 6.4. 4 ISO/IEC 13568:2002/Cor.1:2007(E) Copyright International Organization for Standardization Provided by IHS under license with ISO Licensee=IHS Employees/1111111001, User=Wing
29、, Bernie Not for Resale, 08/07/2007 01:57:28 MDTNo reproduction or networking permitted without license from IHS -,-,- Page 22, in former 6.4.5 Delete the rows for COLON, SEMICOLON, COMMA and FULL STOP. Page 25, in 7.2 Before line 16, in the defi nition of WORD, append the following new production.
30、|PUNCT , PUNCT , = Page 26, in 7.3 Delete EXAMPLE 3. Page 28, before 7.4.4 Insert “7.4.4 Punctuation keywords Spelling Token Token name :colon ,comma :=:=free equals select | dot ;semicolon ,list argument” Renumber the former 7.4.4 and the reference to it from page 30 in the penultimate paragraph of
31、 7.5. Page 28, in 7.4.3 Delete the rows for colon, comma, free equals, select | dot, semicolon and list argument. Delete EXAMPLE 1. Index Add an entry for PUNCT. Defect 13568/007: Newlines in paragraph headers Page 30, in 7.5 Delete line 11, “All newlines are soft outside of a DeclPart or Predicate.
32、”, and delete the note that follows it. After line 17 (in the AFTER section), add the box tokens “ZED AX SCH GENAX GENSCH”. After line 20 (in the BEFORE section), add the “END” token. Make the penultimate paragraph be a NOTE, and move it to the end of the clause. Page 31, in 8.2 In lines 15, 16 and
33、18, add “ NL , ” before “SchemaText”. Repeat the same change on page 116 in C.4.4.1, page 117 in C.4.5.1, and page 117 in C.4.6.1. 5 ISO/IEC 13568:2002/Cor.1:2007(E) Copyright International Organization for Standardization Provided by IHS under license with ISO Licensee=IHS Employees/1111111001, Use
34、r=Wing, Bernie Not for Resale, 08/07/2007 01:57:28 MDTNo reproduction or networking permitted without license from IHS -,-,- Page 45, in 12.2.3.1 Insert at beginning “Any NL token is elided. SCH i NL t END=SCH i t END” Repeat the same change on page 116 in C.4.4.2. Page 45 Insert new clause 12.2.3.2
35、 “Generic axiomatic description paragraph Any NL token is elided. GENAX i,.,in NL t END=GENAX i,.,in t END” Renumber subsequent clauses in 12.2.3 and the references to the former 12.2.3.4 from page 167 in D.6.2 and from page 169 in D.6.4. Repeat insertion of the same text on page 117 as clause C.4.5
36、.2, renumbering subsequent clauses in C.4.5. Page 45, in former 12.2.3.2 Insert at beginning “Any NL token is elided. GENSCH i i,.,in NL t END=GENSCH i i,.,in t END” Repeat the same change on page 118 in C.4.6.2. Page 183, in Index In the entry for Generic axiomatic description paragraph, add “synta
37、ctic transformation, 45, 117” Defect 13568/008: Look-ahead in lexer Page 38, in 8.4 Delete EXAMPLE 3, and replace the following paragraph with the following. “One solution to this problem is to try both parses and accept the one that works. Alternatively, the lexer could return diff erent comma toke
38、ns to distinguish the two cases based on looking ahead over following alternating names (including operator names) and commas for a : or = token.” Defect 13568/009: Use of meta-language decor operator Page 7, in 4.2.6 In Table 11, replace both occurrences of “+” by “*”, and replace “stroke” by “stro
39、kes”. 6 ISO/IEC 13568:2002/Cor.1:2007(E) Copyright International Organization for Standardization Provided by IHS under license with ISO Licensee=IHS Employees/1111111001, User=Wing, Bernie Not for Resale, 08/07/2007 01:57:28 MDTNo reproduction or networking permitted without license from IHS -,-,-
40、Defect 13568/010: Operators in generic horizontal defi nitions Page 31, in 8.2 In line 21, the syntax of generic horizontal defi nition, replace “NAME” by “DeclName”. Defect 13568/011: L AT EX rendering of multiple strokes Page 82, in A.2.3.3 After the NOTE, insert the following new paragraph. “Mark
41、-up for multiple strokes that results in them being rendered at the same horizontal position is deprecated, since it obfuscates the order in which the strokes appear. EXAMPLE 3 The deprecated L ATEX mark-up x_1 converts to the Z character sequence x 1 and renders as x 1. The deprecated L ATEX mark-u
42、p x_1 converts to the Z character sequence x 1 and renders as x 1. The preferred L ATEX mark-up x_1 converts to the Z character sequence x 1 and renders as x1. The preferred L ATEX mark-up x_1 converts to the Z character sequence x 1 and renders as x1.” Defect 13568/012: Informal text Page 15, in 5.
43、2.2 In line 6, replace “from that mark-up to” by “from the mark-up of the formal text of a specifi - cation (eliminating the informal text) to the UCS representation of”. Page 18, in 6.1 At the end of the fi rst paragraph, add the following sentence. “Only formal Z text is considered here: informal
44、narrative is assumed to have already been eliminated.” Page 79, in A.1 In line 2, replace “from it to the UCS representation” by “from the mark-up of the formal text of a specifi cation (eliminating the informal text) to the UCS representation of sequences of Z characters”. In line 3, after “identit
45、y function” insert “on formal text”. Defect 13568/013: Miscellaneous editorial corrections Page 7, in 4.2.6 Replace “for” by “by” in “Names are needed for this International Standard.” 7 ISO/IEC 13568:2002/Cor.1:2007(E) Copyright International Organization for Standardization Provided by IHS under l
46、icense with ISO Licensee=IHS Employees/1111111001, User=Wing, Bernie Not for Resale, 08/07/2007 01:57:28 MDTNo reproduction or networking permitted without license from IHS -,-,- Page 15, in 5.1 In lines 5-6, replace “it does not show information fl ows” by “it does not show all information fl ows”.
47、 Page 22, in 6.4.4.4 In line 4, replace the NOTE by “These box characters are merely those used in the Z character representation: there is no intent to require their use in graphical renderings or mark-up of Z specifi cations.” Page 22, in 6.4.5 Replace heading “Symbol characters except mathematical toolkit characters” by “Symbol char- acters of the core language”. Page 24, in 7.1 In line 7, replace “stream” with “sequence” twice. Page 25, in 7.2