*** the minimal Proxy TK interfaces

fmod SP-IFACE is
  inc SVC-IFACE .
  op svcReq : Data -> MsgBody .
endfm

fmod SP-CLASS is
  inc SP-IFACE .
  op svc : Oid -> Attribute .
  op clientId : String -> Attribute .
  op sname : String -> Attribute .        *** serverside to verify name of svc
endfm

fmod SPTK-IFACE is
  inc LOOKUP-IFACE .
  inc JVM-IFACE . 
endfm

fmod SPTK-CLASS is
  inc SPTK-IFACE .
  inc PROXY-DESCRIPTION .
  op lookup : Oid -> Attribute . 
  op pxd : Data -> Attribute .    *** clientside 
endfm

fmod SSPTK-IFACE is
  inc SPTK-IFACE .
  op  spRegisterReq : String Oid -> MsgBody .
endfm

fmod CSPTK-IFACE is
  inc SPTK-IFACE .
  op findServiceReq : String -> MsgBody .
  op findServiceOk : String Oid -> MsgBody .
  op findServiceFailed : String -> MsgBody .
endfm

