Affiliation:
1. Department of Computer Science, University of Leiden, P.O. Box 9512, 2300 RA Leiden, The Netherlands
Abstract
PROCOL is a parallel C-based object-oriented language with communication based on one-way synchronous messages. Objects execute in parallel unless engaged in communication. Communication partners are defined by object instance identifiers, or by type. Therefore send-receive mappings may be 1-1, n-1, or 1-n, though only 1 message is transferred. PROCOL controls object access by a novel concept: an explicit per-object protocol. This protocol is a specification of the occurrence and sequencing of the communication between the object and its partners. Thus protocols support structured, safer and potentially verifiable information exchange between objects. Protocols also act as a composition rule over client objects, thereby offering a 'part-of' hierarchy of these cooperating objects.
Publisher
Association for Computing Machinery (ACM)
Subject
Computer Graphics and Computer-Aided Design,Software
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On Components with Explicit Protocols Satisfying a Notion of Correctness by Construction;On the Move to Meaningful Internet Systems 2002: CoopIS, DOA, and ODBASE;2002
2. A two-layered-class approach for the reuse of synchronization code;Information and Software Technology;2001-04
3. Declarative concurrency in Java;Lecture Notes in Computer Science;2000
4. NUAPC: A parallelizing compiler for C++;Journal of Computer Science and Technology;1997-09
5. Composing Synchronization and Real-Time Constraints;Journal of Parallel and Distributed Computing;1996-07