device server
The device server name is the couple device server executable name/device server instance name.
For instance, a device server started with the following command
Perkin id11
(device server executable name / device server instance name)
starts a device server process with an instance name id11, an executable name Perkin and a device server
name Perkin/id11