PCOL - A protocol-constrained object language

Publisher Website
Google Scholar
Abstract
Object languages present a flexible tool for programming. They facilitate the encapsulation of datastructures and procedures. Objects also offer a natural construct for parallel programming. Each object could run as a separate process on its own processor. The weak point of object languages is the communication between objects. The burden is on the programmer to carefully use the communication facilities in order to prevent undisciplined and often erroneous specifications. PCOL, is an object language in which the communication may optionally be subjected to a protocol. If present, this protocol takes the form of a specification of occurrence and sequencing of the interaction between the object and its communication partners. The use of protocols in object communication leads to safer and potentially verifiable information exchange between objects.

This publication has 0 references indexed in Scilit: