Acme Description

System toplevel = {
  Component client = {
    Properties {
      requestRate : float = 17.000; 
      sourceCode : string = "CODE-LIB/client.c"; 
    };
    Port sendRequest;
  };

  Component server = {
    Properties {
      idempotent : boolean = true; 
      maxConcurrentClients : int = 1; 
      multithreaded : boolean = false; 
      sourceCode : string = "CODE-LIB/server.c"; 
    };
    Port receiveRequest;
  };

  Connector rpc = {
    Properties {
      synchronous : boolean = true; 
      maxRoles : int = 2; 
    };
    Role caller;
    Role callee;
  };

  Attachments {
    client.sendRequest to rpc.caller;
    server.receiveRequest to rpc.callee;
  };
}; /* end system */
/* End of Design */