Issue 13193: Section: 12.3.14 Figure 12.29 on page 320 (uml2-rtf) Source: (, ) Nature: Clarification Severity: Significant Summary: Incorrect: behavior can be shown similarly to Figure 12.29 on page 320, using keywords «precondition» and «postcondition». Correct: behavior can be shown similarly to Figure 12.29 on page 320, using keywords «localPrecondition» and «localPostcondition». Resolution: Revised Text: Actions taken: December 26, 2008: received issue Discussion: End of Annotations:===== m: webmaster@omg.org Date: 26 Dec 2008 03:26:41 -0500 To: Subject: Issue/Bug Report -------------------------------------------------------------------------------- Name: Kenichi Kobayashi Company: Mamezou Co.,Ltd. mailFrom: kobayashi@mamezou.com Notification: Yes Specification: UML Section: 12.3.15 FormalNumber: ptc/08-05-05 Version: 2.2 Beta1 RevisionDate: 05/05/2008 Page: 358 Nature: Clarification Severity: Significant HTTP User Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; ja; rv:1.9.0.5) Gecko/2008120122 Firefox/3.0.5 (.NET CLR 3.5.30729) Description Incorrect: can be shown similarly to Figure 12.29 on page 320, using keywords «precondition» and «postcondition». Correct: can be shown similarly to Figure 12.29 on page 320, using keywords «localPrecondition» and «localPostcondition».