In this paper we introduce a notion of Henig proper efficiency for constrained vector optimization problems in the setting of variable ordering structure. In order to get an appropriate concept, we have to explore firstly the case of fixed ordering structure and to observe that, in certain situations, the well-known Henig proper efficiency can be expressed in a simpler way. Then, we observe that the newly introduced notion can be reduced, by a Clarke-type penalization result, to the notion of unconstrained robust efficiency. We show that this penalization technique, coupled with sufficient conditions for weak openness, serves as a basis for developing necessary optimality conditions for our Henig proper efficiency in terms of generalized differentiation objects lying in both primal and dual spaces.