Issue 6128: Notation for for global pre/postconditions actions (uml2-superstructure-ftf)
Source: NIST (Dr. Conrad Bock, conrad.bock(at)nist.gov)
Nature: Revision
Severity: Significant
Summary: Provide  notation for actions invoking beahviors with global
pre/postconditions
Resolution: see above
Revised Text: 
Actions taken:
August 30, 2003: received issue
March 8, 2005: closed issue
Discussion: 
Under CallBehaviorAction, Notation section, first paragraph, add sentence to the
end:
“Pre and postconditions on the behavior can be shown similary to Figure
197, using the keywords «precondition» and «postcondition»."
Under CallOperationAction, Notation section, first paragraph, add sentence to the
end:
“Pre and postconditions on the operation can be shown similary to Figure
197, using the keywords «precondition» and «postcondition».”
End of Annotations:=====
Name: Conrad Bock
Company: NIST
mailFrom: conrad.bock@nist.gov
Nature: Revision
Severity: Significant
Subject: Notation for for global pre/postconditions actions.


Provide  notation for actions invoking beahviors with global

OMG Issue No: 6128
Title:	Notation for for global pre/postconditions actions
Source:
Kabira Technologies, Inc. (Mr. Conrad Bock, conrad.bock@nist.gov)
Summary:
Provide  notation for actions invoking behaviors with global pre/postconditions
Discussion:
Under CallBehaviorAction, Notation section, first paragraph, add sentence to the end:
.Pre and postconditions on the behavior can be shown similary to Figure 197, using the keywords «precondition» and «postcondition»."
Under CallOperationAction, Notation section, first paragraph, add sentence to the end:
.Pre and postconditions on the operation can be shown similary to Figure 197, using the keywords «precondition» and «postcondition»..
Disposition:	Resolved
pre/postconditions