Issue 6162: Typos (uml2-superstructure-ftf) Source: NIST (Dr. Conrad Bock, conrad.bock(at)nist.gov) Nature: Revision Severity: Minor Summary: On the Description of complete activities: :Edges support controlling token flow and be contained in interruptible regions." "It covers invocation nodes, control nodes (...)". I believe it should read "It covers executable nodes, control nodes (...)" "A control flow is an edge starts an activity node after the previous one is finished." "The input parameter must be the same as or a supertype the type of object token coming along the incoming edge." "This is equivalent interposing a CentralBufferNode between the initial node and its outgoing edges." "A loop node is a costructured activity node that represents a loop with setup, test, and body sections." page 331, Table 2 caption should be "Graphic paths (...)" instead of "Graphic nodes (...)". Table 3 caption should also be made more specific. Add constraint numbers to ExceptionHandler. In ActivityNode, the entry for interuptibleRegion should be under a heading Associations (CompleteActivities). In semantics of ActivityEdge move sentence about guards from (IntermediateActivities) to basic. "in invoked" => "is invoked" Constraint 5 for ActivityParameterNode should read: "Activity parameter object nodes with no outgoing edges and one or more incoming edges must have a parameter with out, inout, or return direction." Text should list mustIsoloate under StructuredActivityNode, not ActivtyNode. Local pre/postcondition semantics: "must" => should. Local pre/postcondition semantics: "locaprecondition" => "localPrecondition". Semantics of streaming parameter, third bullet/execution rule: replace "activity" with "behavior". Also in second bullet, remove "for" from "that is, for all". Also add analogous sentence after "not just at the beginning" for outputs. Search on "wil exist", replace with "will exist". Search on "(str-adv)" and remove. In ConditionalNode: "the modeler asserts that at least one true section will yield a true value." Should be "test section". IsReadOnly is in basic activities in the metamodel diagrams, but should be in complete, according to the attribute list on Activities. In ReclassifyObjectAction and elsewhere, replace "error" with "undefined semantics". Resolution: see above Revised Text: Actions taken: August 30, 2003: received issue March 8, 2005: closed issue Discussion: In the Description (CompleteActivities) of edges in 12.3.3 ActivityEdge, change text -from: “Edges support controlling token flow and be contained in interruptible regions." -to: “Complete activity edges can be contained in interruptible regions. In the Description of edges 12.3.3 ActivityEdge, add sentence. “Activity edges can control token flow.” In the Description of 12.3.6 ActivityNode , change text -from: "It covers invocation nodes, control nodes (...)" -to "It covers executable nodes, control nodes (...)" In the first sentence of 12.3.12 ControlFlow, change text -from: "A control flow is an edge starts an activity node after the previous one is finished." -to "A control flow is an edge that starts an activity node after the previous one is finished." In the Constraints [2] of 12.3.15 DecisionNode, and Constraints [2] and [4] of 12.3.30 ObjectFlow, change text -from: " (...) the same as or a supertype the type of object token (...)" -to: " (...) the same as or a supertype of the type of object token (...)" In the Semantics of 12.3.24 InitialNode , change text -from: "This is equivalent interposing a CentralBufferNode between the initial node and its outgoing edges." -to: "This is equivalent to interposing a CentralBufferNode between the initial node and its outgoing edges." In the first sentence of 12.3.28 LoopNode, change text -from: "A loop node is a costructured activity node that represents a loop with setup, test, and body sections." -to: "A loop node is a structured activity node that represents a loop with setup, test, and body sections." In label of Table 12, change text -from: "Graphic nodes (...)" -to: "Graphic paths (...)" In label of Table 13, change text -from: "Graphic nodes (...)" -to: "Other graphic notations (...)" Add [1] and [2] to Constraints in 12.3.16 ExceptionHandler. In 12.3.6 ActivityNode , change the heading for interruptibleRegion -from: "Associations” -to: "Associations (CompleteActivities)” In 12.3.3 ActivityEdge, move contents of Semantics (IntermediateActivities) to basic Semantics, and remove the Semantics (IntermediateActivities) section. In the Semantics of 12.3.7 ActivityParameterNode , change text -from: "in invoked" -to: "is invoked" In the Semantics of 12.3.7 ActivityParameterNode, change Constraint [5] -to: "Activity parameter object nodes with no outgoing edges and one or more incoming edges must have a parameter with out, inout, or return direction." The mustIsoloate attribute should be moved from the Attributes (CompleteStructuredActivities) area in 12.3.6 ActivityNode to the corresponding area in 12.3.38 StructuredActivityNode The description of the mustIsoloate semantics should be moved from the Semantics (CompleteStructuredActivities) area in 12.3.6 ActivityNode to the corresponding area in 12.3.38 StructuredActivityNode In the CompleteActivities portion of Semantics in 12.3.1 Action, change text -from: “Local preconditions and postconditions are constraints that must hold …” -to: “Local preconditions and postconditions are constraints that should hold …” In the Figure 200, change text -from: "locaprecondition" -to: "localprecondition" In the Semantics of 12.3.35 Parameter, second bullet, change text: -from: “All inputs must arrive for the behavior to finish, that is, for all inputs ….” -to: “All inputs must arrive for the behavior to finish; that is, all inputs ….” In the Semantics of 12.3.35 Parameter, third bullet, change text: -from: “Either all non-stream outputs must be posted when an activity is finished, ….” -to: “Either all non-stream outputs must be posted when a behavior is finished, ….” In the Semantics of 12.3.1 Action, change text: -from: “wil exist" -to: "will exist". In the Contraints of 12.3.16 ExceptionHandler, remove "(str-adv)". In the Semantics of 12.3.11 ConditionalNode , change text: -from: “ at least one true section will yield a true value." -to: “ at least one test section will yield a test value." And: -from: “ at most one true section will yield a true value." -to: “ at most one test section will yield a test value." IsReadOnly is in basic activities in the metamodel diagrams (Figure 176), but should be moved to the complete activities metamodel (Figure 184) (according to the attribute list on Activities). End of Annotations:===== Name: Conrad Bock Company: NIST mailFrom: conrad.bock@nist.gov Nature: Revision Severity: Minor Subject: Typos On the Description of complete activities: :Edges support controlling token flow and be contained in interruptible regions." "It covers invocation nodes, control nodes (...)". I believe it should read "It covers executable nodes, control nodes (...)" "A control flow is an edge starts an activity node after the previous one is finished." "The input parameter must be the same as or a supertype the type of object token coming along the incoming edge." "This is equivalent interposing a CentralBufferNode between the initial node and its outgoing edges." "A loop node is a costructured activity node that represents a loop with setup, test, and body sections." page 331, Table 2 caption should be "Graphic paths (...)" instead of "Graphic nodes (...)". Table 3 caption should also be made more specific. Add constraint numbers to ExceptionHandler. In ActivityNode, the entry for interuptibleRegion should be under a heading Associations (CompleteActivities). In semantics of ActivityEdge move sentence about guards from (IntermediateActivities) to basic. "in invoked" => "is invoked" Constraint 5 for ActivityParameterNode should read: "Activity parameter object nodes with no outgoing edges and one or more incoming edges must have a parameter with out, inout, or return direction." Text should list mustIsoloate under StructuredActivityNode, not ActivtyNode. Local pre/postcondition semantics: "must" => should. Local pre/postcondition semantics: "locaprecondition" => "localPrecondition". Semantics of streaming parameter, third bullet/execution rule: replace "activity" with "behavior". Also in second bullet, remove "for" from "that is, for all". Also add analogous sentence after "not just at the beginning" for outputs. Search on "wil exist", replace with "will exist". Search on "(str-adv)" and remove. In ConditionalNode: "the modeler asserts that at least one true section will yield a true value." Should be "test section". IsReadOnly is in basic activities in the metamodel diagrams, but should be in complete, according to the attribute list on Activities. In ReclassifyObjectAction and elsewhere, replace "error" with "undefined semantics".