Issue 13167: Reference Menzel in Section 10 (fuml-ftf)
Source: NIST (Dr. Conrad Bock, conrad.bock(at)nist.gov)
Nature: Revision
Severity: Minor
Summary: Reference Menzel in Section 10: http://philebus.tamu.edu/cmenzel/Papers/AxiomaticSemantics.pdf

Resolution: Add reference as requested
Revised Text: In Base Semantics, Design Rationale, last paragraph, add footnote at end:
The axiomitization of numbers and cardinality is adapted from http://philebus.tamu.edu/cmenzel/Papers/AxiomaticSemantics.pdf.

Actions taken:
December 18, 2008: received issue
July 23, 2010: closed issue
Discussion: 

End of Annotations:=====

m: webmaster@omg.org
Date: 18 Dec 2008 11:51:08 -0500
To: <issues@omg.org>
Subject: Issue/Bug Report



--------------------------------------------------------------------------------

Name: Conrad Bock
Company: NIST
mailFrom: conrad.bock@nist.gov
Notification: No
Specification: Semantics of a Foundational Subset of Executable UML Models 
Section: Base Semantics
FormalNumber: ptc/08-11-03 
Version: 
RevisionDate: 
Page: 
Nature: Revision
Severity: Minor
HTTP User Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.8.1.12) Gecko/20080219 Firefox/2.0.0.12 Navigator/9.0.0.6
Description
Reference Menzel in Section 10 Reference Menzel in Section 10: http://philebus.tamu.edu/cmenzel/Papers/AxiomaticSemantics.pdf