PROCOL: a protocol-constrained concurrent object-oriented language

Authors:
J. van den Bos
Affiliations:
Univ. of Leiden, Leiden, The Netherlands
Venue:
OOPSLA/ECOOP '88 Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming
Year:
1988

Citing 0
Cited 2

PROCOL: a parallel object language with protocols

OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
A generic object-oriented concurrency mechanism for extensibility and reuse of synchronization components

SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's

Quantified Score

Hi-index	0.00

Visualization

Abstract

PROCOL is a simple concurrent object-oriented language supporting a distributed, incremental and dynamic object environment. Its communication is based on unidirectional messages. Objects are only bound during actual message transfer and not during the processing of the message. This short duration object binding promotes parallelism. The communication leading to access has to obey an explicit protocol in each object. It takes the form of a specification of the occurrence and sequencing of the interaction between the object and its communication partners. The use of such protocols fosters structured, safer and potentially verifiable communication between objects.