The purpose of stubbing is to guarantee the public interface is complete, and since the public interface of attributes is entirely via accessors, it suffices to merely stub the accessor, and leave it up to the class whether it should implement that name via an explicit method or an attribute declaration. It should probably be part of the documentation of a role whether it's intended that a particular name be implemented by by an attribute, but really, it's entirely up to the class whether a given part of the interface is represented by an actual attribute or a virtual attribute.
Larry