What is the abbreviation for Online resource manager?

Looking for the shorthand of Online resource manager or how to abbreviate it? We have 2 shorthands for Online resource manager.