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 */