Article

Free access

PROCOL: a parallel object language with protocols

Authors:

J. Van Den Bos,

C. LaffraAuthors Info & Claims

OOPSLA '89: Conference proceedings on Object-oriented programming systems, languages and applications

Pages 95 - 102

https://doi.org/10.1145/74877.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

Militão FAldrich JCaires LDanielsson NJacobs B(2014)Substructural typestatesProceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages meets Program Verification10.1145/2541568.2541574(15-26)Online publication date: 11-Jan-2014
https://dl.acm.org/doi/10.1145/2541568.2541574
Ramirez RSantosa A(2007)A Framework for Separation of Concerns in Concurrent ProgrammingProceedings of the 31st Annual International Computer Software and Applications Conference - Volume 0210.1109/COMPSAC.2007.24(619-628)Online publication date: 24-Jul-2007
https://dl.acm.org/doi/10.1109/COMPSAC.2007.24
Junior JCarmo GValente MRodrigues RLeite J(2006)Invocation of replicated web services using smart proxiesProceedings of the 12th Brazilian Symposium on Multimedia and the web10.1145/1186595.1186613(138-147)Online publication date: 19-Nov-2006
https://dl.acm.org/doi/10.1145/1186595.1186613
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
Special issue: Proceedings of the 1989 ACM OOPSLA conference on object-oriented programming

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

Comments

Information & Contributors

Information

Published In

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.

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

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

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

OOPSLA89

Sponsor:

SIGPLAN

OOPSLA89: Object Oriented Programming Systems, Languages & Applications

October 2 - 6, 1989

Louisiana, New Orleans, USA

Acceptance Rates

Overall Acceptance Rate 268 of 1,244 submissions, 22%

Upcoming Conference

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

49
Total Citations
View Citations
419
Total Downloads

Downloads (Last 12 months)72
Downloads (Last 6 weeks)17

Reflects downloads up to 16 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Militão FAldrich JCaires LDanielsson NJacobs B(2014)Substructural typestatesProceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages meets Program Verification10.1145/2541568.2541574(15-26)Online publication date: 11-Jan-2014
https://dl.acm.org/doi/10.1145/2541568.2541574
Ramirez RSantosa A(2007)A Framework for Separation of Concerns in Concurrent ProgrammingProceedings of the 31st Annual International Computer Software and Applications Conference - Volume 0210.1109/COMPSAC.2007.24(619-628)Online publication date: 24-Jul-2007
https://dl.acm.org/doi/10.1109/COMPSAC.2007.24
Junior JCarmo GValente MRodrigues RLeite J(2006)Invocation of replicated web services using smart proxiesProceedings of the 12th Brazilian Symposium on Multimedia and the web10.1145/1186595.1186613(138-147)Online publication date: 19-Nov-2006
https://dl.acm.org/doi/10.1145/1186595.1186613
Santosa A(2005)Formal Verification of Concurrent and Distributed Constraint-Based Java ProgramsProceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems10.1109/ICECCS.2005.50(76-84)Online publication date: 16-Jun-2005
https://dl.acm.org/doi/10.1109/ICECCS.2005.50
Ramirez RSantosa A(2003)A methodology for concurrent and distributed Java applicationsProceedings International Parallel and Distributed Processing Symposium10.1109/IPDPS.2003.1213264(8)Online publication date: 2003
https://doi.org/10.1109/IPDPS.2003.1213264
Noble JHolmes DPotter J(2000)Exclusion for composite objectsACM SIGPLAN Notices10.1145/354222.35317335:10(13-28)Online publication date: 1-Oct-2000
https://dl.acm.org/doi/10.1145/354222.353173
Noble JHolmes DPotter JRosson MLea D(2000)Exclusion for composite objectsProceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications10.1145/353171.353173(13-28)Online publication date: 1-Oct-2000
https://dl.acm.org/doi/10.1145/353171.353173
Ramirez RSantosa AYap R(2000)Concurrent programming made easyProceedings Sixth IEEE International Conference on Engineering of Complex Computer Systems. ICECCS 200010.1109/ICECCS.2000.873939(151-160)Online publication date: 2000
https://doi.org/10.1109/ICECCS.2000.873939
Ramirez RSantosa AHong L(2000)Implementing Declarative Concurrency in JavaEuro-Par 2000 Parallel Processing10.1007/3-540-44520-X_97(700-708)Online publication date: 18-Aug-2000
https://doi.org/10.1007/3-540-44520-X_97
Lowe WNeumann RTrapp MZimmermann W(1999)Robust dynamic exchange of implementation aspectsProceedings Technology of Object-Oriented Languages and Systems. TOOLS 29 (Cat. No.PR00275)10.1109/TOOLS.1999.779066(351-360)Online publication date: 1999
https://doi.org/10.1109/TOOLS.1999.779066
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.

Cited By

Index Terms

Recommendations

PROCOL: a parallel object language with protocols

PROCOL: a protocol-constrained concurrent object-oriented language

PROCOL: a protocol-constrained concurrent object-oriented language