Existing middleware technologies define the remote object classes in terms of their interfaces only and do not give any semantic or behavioral specifications of the remote objects resident in clients ...