Issue 18508: FoundationModelLibrary, UnlimitedNaturalFunctions: inconsistencies between the spec and the normative xmi (fuml-rtf)
Source: Commissariat a l Energie Atomique-CEA (Dr. Arnaud Cuccuru, arnaud.cuccuru(at)cea.fr)
Nature: Clarification
Severity: Minor
Summary: Foundational Model Library: There are inconsistencies between the fuml spec and the normative xmi regarding the two following opaque behaviors from the PrimitiveBehaviors::UnlimitedNaturalFunctions:


- ToInteger: the spec provides the following signature ‘ToInteger(x: UnlimitedNatural): Integer[0..1]’ (which is correct) while in the normative xmi (ptc/2012-10-21), the return type is UnlimitedNatural

- ToUnlimitedNatural: in the normative xmi, the type of the return parameter is UnlimitedNatural (which is correct), while the spec provides the following signature ‘ToUnlimitedNatural(x: String): Integer[0..1], Converts x to an Integer value.’
Resolution: Fix discrepencies

The issue description is correct.
Revised Text: In the normative fUML_Library.xmi, in the FunctionBehavior FoundationalModelLibrary::PrimitiveBehaviors::UnlimitedNaturalFunctions::ToInteger, change the href of the type of the return parameter from
http://www.omg.org/spec/UML/20110701/PrimitiveTypes.xmi#UnlimitedNatural

to
http://www.omg.org/spec/UML/20110701/PrimitiveTypes.xmi#Integer

In the specification document, 9.3.5 UnlimitedNatural Functions, Table 9.6, change the return type of ToUnlimitedNatural from Integer to UnlimitedNatural. In the description, change "Converts x to an Integer value." to "Converts x to an UnlimitedNatural value."
Actions taken:
February 27, 2013: received issue
October 8, 2015: Resolved
December 22, 2015: closed issue
Discussion: 

End of Annotations:=====

m: webmaster@omg.org
Date: 27 Feb 2013 17:12:50 -0500
To: <issues@omg.org>
Subject: Issue/Bug Report


*******************************************************************************
Name:            Arnaud Cuccuru
Employer:        CEA
mailFrom:        arnaud.cuccuru@cea.fr
Terms_Agreement: I agree
Specification:   Semantics of a Foundational Subset for Executable UML Models (fUML)
Section:         9.2.5
FormalNumber:    ptc/2012-10-18
Version:         1.1, BETA 1
Doc_Year:        Year
Doc_Month:       Month
Doc_Day:         Day
Page:            339
Title:           FoundationModelLibrary, UnlimitedNaturalFunctions: inconsistencies between the spec and the normative xmi
Nature:          Clarification
Severity:        Minor
CODE:            3TMw8
B1:              Report Issue


Description:


Foundational Model Library: There are inconsistencies between the fuml spec and the normative xmi regarding the two following opaque behaviors from the PrimitiveBehaviors::UnlimitedNaturalFunctions:


- ToInteger: the spec provides the following signature .ToInteger(x: UnlimitedNatural): Integer[0..1]. (which is correct) while in the normative xmi (ptc/2012-10-21), the return type is UnlimitedNatural

- ToUnlimitedNatural: in the normative xmi, the type of the return parameter is UnlimitedNatural (which is correct), while the spec provides the following signature .ToUnlimitedNatural(x: String): Integer[0..1], Converts x to an Integer value..