(****
 *
 * Module Server defines objects and operations related to central host servers
 * and associated distributed processing.  Organizationally, it is considered a
 * sub-module of Admin.
 *
 *)
module Server;

  object Server
    components: ;
    description: (*
       
    *);
  end Server;



  object HostStatus
    components: ;
    description: (*
       
    *);
  end HostStatus;

  operation HostStatus
    inputs: s:Server;
    outputs: hs:HostStatus;
    description: (*
        Check the status of the given host server.
    *);
    precondition: ;
    postcondition: ;
  end HostStatus;



end Server;