Issue 19863: Classifier.allSlottableFeatures shall incorporate redefinition (uml2-rtf)
Source: Fraunhofer FOKUS (Mr. Marc-Florian Wendland, marc-florian.wendland(at)fokus.fraunhofer.de)
Nature: Revision
Severity: Significant
Summary: The Operation Classifier.allSlottableFeatures() is not correct for it does not take into account potentially redefined StructuralFeatures. This leads to a situation where Feature are defined as slottable that are, in fact, not visible in the scope of the Classifier of an InstanceSpecification.


There are two options:
1. Enhance allSlottableFeatures in a way that redefined StructuralFeatures are resolved first.
2. Introduce another operation allEffectiveSlottableFeatures that invokes allSlottableFeatures and resolves the redefinition of those Features afterwards.

In my opinion, option 1 should be followed.
Resolution: 
Revised Text: 
Actions taken:
December 2, 2015: received issue
Discussion: 

End of Annotations:=====

m: webmaster@omg.org
Date: 02 Dec 2015 03:53:29 -0500
To: <issues@omg.org>
Subject: Issue/Bug Report


*******************************************************************************
Name:            Marc-Florian Wendland
Employer:        Fraunhofer FOKUS
mailFrom:        marc-florian.wendland@fokus.fraunhofer.de
Terms_Agreement: 
Specification:   UML
Section:         9.9.4
FormalNumber:    formal-15-03-01
Version:         2.5
Doc_Year:        2015
Doc_Month:       March
Doc_Day:         01
Page:            133
Title:           Classifier.allSlottableFeatures shall incorporate redefinition
Nature:          Revision
Severity:        Significant
CODE:            3TMw8
B1:              Report Issue
Remote Name:     fokus168168.fokus.fraunhofer.de
Remote User:     
HTTP User Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:42.0) Gecko/20100101 Firefox/42.0
Time:            03:53 AM


Description:


The Operation Classifier.allSlottableFeatures() is not correct for it does not take into account potentially redefined StructuralFeatures. This leads to a situation where Feature are defined as slottable that are, in fact, not visible in the scope of the Classifier of an InstanceSpecification.


There are two options:
1. Enhance allSlottableFeatures in a way that redefined StructuralFeatures are resolved first.
2. Introduce another operation allEffectiveSlottableFeatures that invokes allSlottableFeatures and resolves the redefinition of those Features afterwards.

In my opinion, option 1 should be followed.