09-151 To: J3 From: Bill Long Subject: UTI 152, Execution sequence Date: 2009 February 12 References: 09-007, 09-102 Discussion: UTI 152 objects to what appears to be normative text being in a Note. As a secondary issue, the current order of the subclauses in 2.3 seems illogical. ------------ Edits to 09-007: [29:16] In 2.3.1 Statement classification, para 2, move the first sentence (Image execution is ... actions.) to be the second sentence of 2.3.5 Execution sequence, at [31:9]. [29:16-17] In 2.3.1 Statement classification, para 2, in the second sentence replace "one or more of these actions" with "an action". [29:19] In 2.3.1 Statement classification, para 3, delete "do not specify actions; they". {Functions can be executed as part of specification expressions.} [29:21-22] In 2.3.1 Statement classification, delete para 4 (There are restrictions ... in all contexts.) {The upcoming Statement order subclause spells out such restrictions, so it seems redundant to say they exist.} [31:9] In 2.3.5 Execution sequence, following the sentence moved from [29:16] (see edit above) add these new sentences: "Actions take place during execution of the statement that performs them (except when explicitly stated otherwise). Segments (\ref{D8:Segments}) executed by a single image are totally ordered, and segments executed by separate images are partially ordered by image control statements (8.5.1)." [31:9] In 2.3.5 Execution sequence, begin a new paragraph with the second sentence (If the program contains...) of the text in 09-007. [31:28-29] In 2.3.5 Execution sequence, delete para 2. {It is mostly redundant with the new text above.} [31:29+] In 2.3.5 Execution sequence, delete Note 2.7. [31:7+] Move the whole text of 2.3.2 Program execution ([29:23]-[30:1-]) to after 2.3.4 The END statement, retaining its status as a subclause. {After this change, the outline reads 2.3 Execution concepts 2.3.1 Statement classification 2.3.2 Statement order 2.3.3 The END statement 2.3.4 Program execution 2.3.5 Execution sequence which places the statement subclauses together and the execution subclauses together, rather than having them interleaved.}