*****************************************************************************
***                        Device                                         ***
***                                                                       ***
***                                                                       ***
*****************************************************************************

mod DEVICE is 
  inc ATTRIBUTES .
  inc DEVICE-ACTUATOR-INTERFACE .
  inc DEVICE-SENSOR-INTERFACE .

  sort DeviceCid .
  subsort DeviceCid < Cid .

endm


mod DEVICE-TEST is
  inc DEVICE .

  op Device : -> DeviceCid .

  op mydevice : -> Object .

  eq mydevice = 
     < o("MyDevice") : Device | mysensor(o("MySensor")), 
                                myactuator(o("MyActuator")) > .
endm