Based on the framework of abstractions and concepts developed in the Reference Model for Open Distributed Processing. It defines how interactions between computational objects in a computational specification of a system relate to protocol support for those interactions in an engineering specification of that system.