/* * File name: banking.acf */ interface banking { create_account ( [comm_status, fault_status] dce_status ); delete_account ( [comm_status, fault_status] dce_status ); transaction ( [comm_status, fault_status] dce_status ); }