This distinction is absolutely critical for security reasons. document-style interactions require no explicit behaviour of the receiver other than those (the application semantics) used to transfer the document. As these are finite in number, they can be verified to be secure. RPC-style interactions require explicit behaviour on the part of the receiver that is not specified a priori, and therefore not verifiably secure.