Another characterization of (one sided, as above) noetherianity with injective modules: every injective is direct sum of indecomposables; there is only a set (not proper class) of isomorphism types of injective indecomposables.
Classically semisimple: every module ahshas complemented lattice of submodules.
So the problem is not the possibility to express a ring property in the categorical language of modules (bicartesian language of abelian categories, or the language of lattice theory). The problem is to formalize the requested "elegance" of the characterization, a problem with no clear mathematical answer. Not a true formalization, but a guide might be: seach for equivalence between properties valid for all modules (or somewhat "unbounded" classes of modules: all finitely generated modules; all projetive modules; ...) and properties that can be expressed "internally" in the ring (or for example in its $2\times 2$ matrix ring, or that in any case depend on a class of modules that is "bounded", like $n$-generated modules for a fixed $n$. Example: a ring is unit regular iff the ring is vNr and perspectivity is transitive in the lattice of the $2\times 2$ matrix ring iff the ring is vNr and perpectivity is transitive in all the lattices of finitely generated submodules of a finitely presented module iff the ring is vNr and cancellation is valid in the additive monoid of isomorphism types of finitely presented modules)