July 12, 1999
Tivoli, Rome
22
An Example
Two Servers - Bank_Srv and TM_Srv
Bank_Srv
 interface account {
     readonly attribute float balance;
     void makeLodgement (in float f);
    void makeWithdrawal (in float f);
 
 };
 
interface bank {
 
    exception reject {string reason;};
 
    account newAccount (in string name) raises (reject);
   void deleteAccount (in account a);
 
 };
TM_Srv
 interface transaction {
 
  int verifyTransaction (in account);
 
 };