Re: Activation of procedure revoke user's authorization - How to avoid that?

As you'd expect, it doesn't allow you to alter the runtime definition of the role, just to consume it.

In theory, having EXECUTE rights on the design time object should be enough.

Did you test that?