Issue 14525: InstanceValue constraint is redundant (fuml-ftf) Source: Model Driven Solutions (Mr. Ed Seidewitz, ed-s(at)modeldriven.com) Nature: Uncategorized Issue Severity: Summary: Specification: Semantics of a Foundational Subset for Executable UML Models (ptc/2008-11-03) Subclause: 7.2.2.2.13 InstanceValue The allowedClassifiers constraint on InstanceValue is redundant with the possible_classifiers constraint on InstanceSpecification. Recommendation: Remove the constraint on InstanceValue. Resolution: Agreed. In addition, simplify the possible_classifiers constraint on InstanceSpecification by removing the specific check that the instance classifier is an enumeration, since enumerations are kinds of data types. Revised Text: In Subclause 7.2.2.2.13 InstanceValue, remove the constraint allowedClassifiers. Also remove it from Figure 17 – Expressions. In Subclause 7.2.2.2.12 InstanceSpecification, replace the constraint possible_classifiers with [1] possible_classifiers Either all the classifiers are classes, or there is one classifier that is a data type. self.classifier->forAll(oclIsKindOf(uml::Class)) or self.classifier->size() = 1 and self.classifier->forAll(oclIsKindOf(uml::DataType)) Also change the description of the constraint shown on Figure 18 – Instances. Actions taken: October 6, 2009: received issue July 23, 2010: closed issue Discussion: End of Annotations:===== ubject: InstanceValue constraint is redundant Date: Tue, 6 Oct 2009 18:51:13 -0400 X-MS-Has-Attach: X-MS-TNEF-Correlator: Thread-Topic: InstanceValue constraint is redundant thread-index: AcpG14Eol8z7jKruRCaClDKfrllU0g== From: "Ed Seidewitz" To: Specification: Semantics of a Foundational Subset for Executable UML Models (ptc/2008-11-03) Subclause: 7.2.2.2.13 InstanceValue The allowedClassifiers constraint on InstanceValue is redundant with the possible_classifiers constraint on InstanceSpecification. Recommendation: Remove the constraint on InstanceValue.