Operation String getDeviceName (Integer deviceID, String system_name), in Class Device