article

Free access

PROCOL: a parallel object language with protocols

Authors:

J. Van Den Bos and

C. LaffraAuthors Info & Claims

ACM SIGPLAN Notices, Volume 24, Issue 10

Pages 95 - 102

https://doi.org/10.1145/74878.74888

Published: 01 September 1989 Publication History

PDF eReader

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.

References

[1]

A. Tripathi, E. Berge, M. Aksit An Implementation of the Object-Oriented Concurrent Programming Language SINA, Software-Practice and Experience, 19, 3, March 1989, pp. 235-256]]

Digital Library

Google Scholar

[2]

P. America POOL-T: A parallel object-oriented language, in Object-oriented concurrent programming (Editors: A. Yonezawa, M. Tokoro), MIT Press, Cambridge, 1987, pp. 199-220]]

Digital Library

Google Scholar

[3]

R.H. Campbell, A.N. Habermann The specification of process synchronization by path expressions, Lecture Notes in Computer Science 16, Springer, Berlin 1974, pp. 89-102]]

Digital Library

Google Scholar

[4]

O.-J. Dahl, B. Myhrhaug, K. Nygaard Simula 67 Common Base Language, NCC Publications S-52, Norwegian Computing Center, Oslo, 1967]]

Google Scholar

[5]

C.A.R. Hoare Communicating sequential processing, Commun. ACM, Vol. 21, 8, 1978, pp. 666-677]]

Digital Library

Google Scholar

[6]

J. ichbiah, et. al Rationale for the design of the ADA programming language, Sigplan Notices (ACM), 14,6 (June 1979), part B, 1980]]

Digital Library

Google Scholar

[7]

B. Meyer Object-oriented software construction, Prentice HMI, Englewood Cliffs, 1988]]

Digital Library

Google Scholar

[8]

C. Schaffert, T. Cooper, B. Bullis, M. Kilian, C. Wilpolt An introduction to Trellis/Owl, ACM Conference Proceedings OOPSLA '86, Portland, pp. 9-16]]

Digital Library

Google Scholar

[9]

B. Stroustrup The C++ programming language, Addison- Wesley, Reading, Mass., 1986]]

Digital Library

Google Scholar

[10]

J. van den Bos, M.J. Plasmeijer, J.W.M. Stroet Process communication based on input specifications, ACM- TOPLAS (Transactions on Programming Languages and Systems), 3, 3, 1981, pp. 224-250]]

Digital Library

Google Scholar

[11]

J. van den Bos ABSTRACT INTERACTION TOOLS: A Language for User Interface Management Systems, ACM-TOPLAS (Transactions on Programming Languages and Systems), 10, 2, April 1988, pp. 215-247]]

Digital Library

Google Scholar

[12]

J. van den Bos PROCOL, A Protocol-Constrained Concurrent Object-Oriented Language, OOPSLA '88, Workshop on Concurrent Object Languages, San Diego, 1988, Published as Special Issue of SIGPLAN Notices, April 1989]]

Digital Library

Google Scholar

[13]

Xerox Learning Research Group The Smalltalk-80 system, BYTE 6,8, 1981, pp. 36-48]]

Google Scholar

[14]

A. Yonezawa, J.-P. Briot, E. Shibayama Object-oriented concurrent programming in ABCL/1, ACM Conference Proceedings OOP- SLA '86, Portland, pp. 258-268]]

Digital Library

Google Scholar

Cited By

View all

Farías ASüdholt M(2002)On Components with Explicit Protocols Satisfying a Notion of Correctness by ConstructionOn the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 200210.5555/646748.704399(995-1012)Online publication date: 30-Oct-2002
https://dl.acm.org/doi/10.5555/646748.704399
Farías ASüdholt M(2002)On Components with Explicit Protocols Satisfying a Notion of Correctness by ConstructionOn the Move to Meaningful Internet Systems 2002: CoopIS, DOA, and ODBASE10.1007/3-540-36124-3_64(995-1012)Online publication date: 5-Nov-2002
https://doi.org/10.1007/3-540-36124-3_64
Pires PBenevides MMattoso MBryant B(2000)Mechanisms for specifying communication behavior in object oriented database systemsProceedings of the 2000 ACM symposium on Applied computing - Volume 110.1145/335603.335847(389-397)Online publication date: 19-Mar-2000
https://dl.acm.org/doi/10.1145/335603.335847
Show More Cited By

Index Terms

PROCOL: a parallel object language with protocols
1. Computing methodologies
  1. Concurrent computing methodologies
    1. Concurrent programming languages
2. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language features
        Concurrent programming structures
      2. Language types
        Concurrent programming languages

Recommendations

PROCOL: a parallel object language with protocols
OOPSLA '89: Conference proceedings on Object-oriented programming systems, languages and applications

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. ...
Read More
PROCOL: a protocol-constrained concurrent object-oriented language
OOPSLA/ECOOP '88: Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming

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 ...
Read More
PROCOL: a protocol-constrained concurrent object-oriented language
Proceedings of the ACM SIGPLAN Workshop on Object-Based Concurrent Programming

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 ...
Read More

Comments

Information & Contributors

Information

Published In

ACM SIGPLAN Notices Volume 24, Issue 10

Special issue: Proceedings of the 1989 ACM OOPSLA conference on object-oriented programming

Oct. 1989

446 pages

ISSN:0362-1340

EISSN:1558-1160

DOI:10.1145/74878

Editor:
Richard L. Wexelblat
IDA/CSED, Alexandria, VA

Issue’s Table of Contents

OOPSLA '89: Conference proceedings on Object-oriented programming systems, languages and applications
September 1989
528 pages
ISBN:0897913337
DOI:10.1145/74877
Chairman:
George Bosworth
Digitalk, Inc.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 September 1989

Published in SIGPLAN Volume 24, Issue 10

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

49
Total Citations
View Citations
387
Total Downloads

Downloads (Last 12 months)49
Downloads (Last 6 weeks)8

Other Metrics

View Author Metrics

Citations

Cited By

View all

Farías ASüdholt M(2002)On Components with Explicit Protocols Satisfying a Notion of Correctness by ConstructionOn the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 200210.5555/646748.704399(995-1012)Online publication date: 30-Oct-2002
https://dl.acm.org/doi/10.5555/646748.704399
Farías ASüdholt M(2002)On Components with Explicit Protocols Satisfying a Notion of Correctness by ConstructionOn the Move to Meaningful Internet Systems 2002: CoopIS, DOA, and ODBASE10.1007/3-540-36124-3_64(995-1012)Online publication date: 5-Nov-2002
https://doi.org/10.1007/3-540-36124-3_64
Pires PBenevides MMattoso MBryant B(2000)Mechanisms for specifying communication behavior in object oriented database systemsProceedings of the 2000 ACM symposium on Applied computing - Volume 110.1145/335603.335847(389-397)Online publication date: 19-Mar-2000
https://dl.acm.org/doi/10.1145/335603.335847
Ramirez RSantosa A(2000)Declarative concurrency in JavaParallel and Distributed Processing10.1007/3-540-45591-4_43(332-339)Online publication date: 25-May-2000
https://doi.org/10.1007/3-540-45591-4_43
Zhu GXie LSun Z(1997)NUAPC: A parallelizing compiler for C++Journal of Computer Science and Technology10.1007/BF0294317712:5(458-469)Online publication date: Sep-1997
https://doi.org/10.1007/BF02943177
Genjiang ZLi XZhongxiu S(1995)A new methodology of data dependence analysis for parallelizing C++ACM SIGPLAN Notices10.1145/219726.21974430:12(37-42)Online publication date: 1-Dec-1995
https://dl.acm.org/doi/10.1145/219726.219744
Schneider HBode ABrüning UChapman BDal Cin MHändler WHertweck FHerzog UHofmann FKlar RLinster CRosenstiel WSchneider HWedeck JWaldschmidt KZima H(1995)Parallele ProgrammiersprachenParallelrechner10.1007/978-3-322-86771-1_11(411-470)Online publication date: 1995
https://doi.org/10.1007/978-3-322-86771-1_11
Lockemann PWalter H(1995)Object‐Oriented Protocol Hierarchies for Distributed Workflow SystemsTheory and Practice of Object Systems10.1002/j.1096-9942.1995.tb00022.x1:4(281-300)Online publication date: Jan-1995
https://doi.org/10.1002/j.1096-9942.1995.tb00022.x
De Francesco NVaglini G(1994)Concurrent behavior: a construct to specify the external behavior of objects in object databasesDistributed and Parallel Databases10.1007/BF012633382:1(33-58)Online publication date: 1-Jan-1994
https://dl.acm.org/doi/10.1007/BF01263338
De Francesco NVaglini G(1994)Concurrent Behavior: A Construct to Specify the External Behavior of Objects in Object DatabasesDistributed and Parallel Database Object Management10.1007/978-1-4615-2746-6_3(33-58)Online publication date: 1994
https://doi.org/10.1007/978-1-4615-2746-6_3
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

References

Cited By

Index Terms

Recommendations