Currently, stereotype resolution is implemented to find stereotypes that are directly owned by explicitly applied profiles, or that are owned by nested packages of those profiles, but not nested profiles. However, the UML 2.5 specification (which is clearer than the UML 2.4.1 spec), says that "Applying a Profile means recursively applying all its nested and imported Profiles. Stereotypes that are public members of a Profile may be applied to applicable model elements in Packages to which the Profile has been applied." Such implicit profile application should be implemented properly in the stereotype resolution algorithm for Alf.
Currently, stereotype resolution is implemented to find stereotypes that are directly owned by explicitly applied profiles, or that are owned by nested packages of those profiles, but not nested profiles. However, the UML 2.5 specification (which is clearer than the UML 2.4.1 spec), says that "Applying a Profile means recursively applying all its nested and imported Profiles. Stereotypes that are public members of a Profile may be applied to applicable model elements in Packages to which the Profile has been applied." Such implicit profile application should be implemented properly in the stereotype resolution algorithm for Alf.