Procol: a protocol-constrained concurrent object-oriented language
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...
Gespeichert in:
| Veröffentlicht in: | Information processing letters 1989-09, Vol.32 (5), p.221-227 |
|---|---|
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 227 |
|---|---|
| container_issue | 5 |
| container_start_page | 221 |
| container_title | Information processing letters |
| container_volume | 32 |
| creator | van den Bos, Jan |
| description | 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. In communications both client and server have to be specified, either by object instance identifiers, or by type. Therefore client-server mappings may be 1−1,
n−1, or 1−
n, though only one message is transffered. A novel feature of PROCOL is explicit access control: communication is subject to a protocol defined for each object. This protocol is 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. |
| doi_str_mv | 10.1016/0020-0190(89)90047-1 |
| format | Article |
| fullrecord | <record><control><sourceid>proquest_cross</sourceid><recordid>TN_cdi_proquest_miscellaneous_25381937</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><els_id>0020019089900471</els_id><sourcerecordid>1137114</sourcerecordid><originalsourceid>FETCH-LOGICAL-c391t-b887a67f3119a541463e508cf1cd5b83df7c5be854061a95f92965b4273525303</originalsourceid><addsrcrecordid>eNp9kE1LxDAQhoMouK7-Aw9FRPRQnSTNlwdBF79gQQ96DmmaLl26zZq0gv_e1JU9ePA0M-SZycuD0DGGSwyYXwEQyAErOJfqQgEUIsc7aIKlIDnHWO2iyRbZRwcxLgGAF1RM0N1r8Na315nJ1sH3Y59b38U-mKZzVZZ6O4Tguj7z5dLZPvehSVN6ak23GMzCHaK92rTRHf3WKXp_uH-bPeXzl8fn2e08t1ThPi-lFIaLmqZAhhW44NQxkLbGtmKlpFUtLCudZAVwbBSrFVGclQURlBFGgU7R2eZuCvoxuNjrVROta1MO54eoEySxoiKBJ3_ApR9Cl7JpQgURBMQIFRvIBh9jcLVeh2ZlwpfGoEerelSmR2VaKv1jVeO0dvp720Rr2jqYzjZxu8t5ITCRCbvZYC4J-Wxc0NEmbdZVTUgSdeWb___5BrQCiQ8</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>237272077</pqid></control><display><type>article</type><title>Procol: a protocol-constrained concurrent object-oriented language</title><source>Access via ScienceDirect (Elsevier)</source><creator>van den Bos, Jan</creator><creatorcontrib>van den Bos, Jan</creatorcontrib><description>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. In communications both client and server have to be specified, either by object instance identifiers, or by type. Therefore client-server mappings may be 1−1,
n−1, or 1−
n, though only one message is transffered. A novel feature of PROCOL is explicit access control: communication is subject to a protocol defined for each object. This protocol is 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.</description><identifier>ISSN: 0020-0190</identifier><identifier>EISSN: 1872-6119</identifier><identifier>DOI: 10.1016/0020-0190(89)90047-1</identifier><identifier>CODEN: IFPLAT</identifier><language>eng</language><publisher>Amsterdam: Elsevier B.V</publisher><subject>Access control ; Applied sciences ; Communication ; Computer science; control theory; systems ; Exact sciences and technology ; interaction ; Language processors ; Object oriented programming ; object-oriented languages ; Operating systems ; Parallel processing ; process control ; Process controls ; Programming languages ; Protocol ; protocols ; Software</subject><ispartof>Information processing letters, 1989-09, Vol.32 (5), p.221-227</ispartof><rights>1989</rights><rights>1990 INIST-CNRS</rights><rights>Copyright Elsevier Sequoia S.A. Sep 22, 1989</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c391t-b887a67f3119a541463e508cf1cd5b83df7c5be854061a95f92965b4273525303</citedby><cites>FETCH-LOGICAL-c391t-b887a67f3119a541463e508cf1cd5b83df7c5be854061a95f92965b4273525303</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://dx.doi.org/10.1016/0020-0190(89)90047-1$$EHTML$$P50$$Gelsevier$$H</linktohtml><link.rule.ids>315,781,785,3551,27929,27930,46000</link.rule.ids><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=6647128$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><creatorcontrib>van den Bos, Jan</creatorcontrib><title>Procol: a protocol-constrained concurrent object-oriented language</title><title>Information processing letters</title><description>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. In communications both client and server have to be specified, either by object instance identifiers, or by type. Therefore client-server mappings may be 1−1,
n−1, or 1−
n, though only one message is transffered. A novel feature of PROCOL is explicit access control: communication is subject to a protocol defined for each object. This protocol is 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.</description><subject>Access control</subject><subject>Applied sciences</subject><subject>Communication</subject><subject>Computer science; control theory; systems</subject><subject>Exact sciences and technology</subject><subject>interaction</subject><subject>Language processors</subject><subject>Object oriented programming</subject><subject>object-oriented languages</subject><subject>Operating systems</subject><subject>Parallel processing</subject><subject>process control</subject><subject>Process controls</subject><subject>Programming languages</subject><subject>Protocol</subject><subject>protocols</subject><subject>Software</subject><issn>0020-0190</issn><issn>1872-6119</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>1989</creationdate><recordtype>article</recordtype><recordid>eNp9kE1LxDAQhoMouK7-Aw9FRPRQnSTNlwdBF79gQQ96DmmaLl26zZq0gv_e1JU9ePA0M-SZycuD0DGGSwyYXwEQyAErOJfqQgEUIsc7aIKlIDnHWO2iyRbZRwcxLgGAF1RM0N1r8Na315nJ1sH3Y59b38U-mKZzVZZ6O4Tguj7z5dLZPvehSVN6ak23GMzCHaK92rTRHf3WKXp_uH-bPeXzl8fn2e08t1ThPi-lFIaLmqZAhhW44NQxkLbGtmKlpFUtLCudZAVwbBSrFVGclQURlBFGgU7R2eZuCvoxuNjrVROta1MO54eoEySxoiKBJ3_ApR9Cl7JpQgURBMQIFRvIBh9jcLVeh2ZlwpfGoEerelSmR2VaKv1jVeO0dvp720Rr2jqYzjZxu8t5ITCRCbvZYC4J-Wxc0NEmbdZVTUgSdeWb___5BrQCiQ8</recordid><startdate>19890922</startdate><enddate>19890922</enddate><creator>van den Bos, Jan</creator><general>Elsevier B.V</general><general>Elsevier Science</general><general>Elsevier Sequoia S.A</general><scope>IQODW</scope><scope>AAYXX</scope><scope>CITATION</scope><scope>7SC</scope><scope>8FD</scope><scope>JQ2</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope></search><sort><creationdate>19890922</creationdate><title>Procol: a protocol-constrained concurrent object-oriented language</title><author>van den Bos, Jan</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c391t-b887a67f3119a541463e508cf1cd5b83df7c5be854061a95f92965b4273525303</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>1989</creationdate><topic>Access control</topic><topic>Applied sciences</topic><topic>Communication</topic><topic>Computer science; control theory; systems</topic><topic>Exact sciences and technology</topic><topic>interaction</topic><topic>Language processors</topic><topic>Object oriented programming</topic><topic>object-oriented languages</topic><topic>Operating systems</topic><topic>Parallel processing</topic><topic>process control</topic><topic>Process controls</topic><topic>Programming languages</topic><topic>Protocol</topic><topic>protocols</topic><topic>Software</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>van den Bos, Jan</creatorcontrib><collection>Pascal-Francis</collection><collection>CrossRef</collection><collection>Computer and Information Systems Abstracts</collection><collection>Technology Research Database</collection><collection>ProQuest Computer Science Collection</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><jtitle>Information processing letters</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>van den Bos, Jan</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Procol: a protocol-constrained concurrent object-oriented language</atitle><jtitle>Information processing letters</jtitle><date>1989-09-22</date><risdate>1989</risdate><volume>32</volume><issue>5</issue><spage>221</spage><epage>227</epage><pages>221-227</pages><issn>0020-0190</issn><eissn>1872-6119</eissn><coden>IFPLAT</coden><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. In communications both client and server have to be specified, either by object instance identifiers, or by type. Therefore client-server mappings may be 1−1,
n−1, or 1−
n, though only one message is transffered. A novel feature of PROCOL is explicit access control: communication is subject to a protocol defined for each object. This protocol is 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.</abstract><cop>Amsterdam</cop><pub>Elsevier B.V</pub><doi>10.1016/0020-0190(89)90047-1</doi><tpages>7</tpages></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 0020-0190 |
| ispartof | Information processing letters, 1989-09, Vol.32 (5), p.221-227 |
| issn | 0020-0190 1872-6119 |
| language | eng |
| recordid | cdi_proquest_miscellaneous_25381937 |
| source | Access via ScienceDirect (Elsevier) |
| subjects | Access control Applied sciences Communication Computer science control theory systems Exact sciences and technology interaction Language processors Object oriented programming object-oriented languages Operating systems Parallel processing process control Process controls Programming languages Protocol protocols Software |
| title | Procol: a protocol-constrained concurrent object-oriented language |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-12T08%3A17%3A37IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Procol:%20a%20protocol-constrained%20concurrent%20object-oriented%20language&rft.jtitle=Information%20processing%20letters&rft.au=van%20den%20Bos,%20Jan&rft.date=1989-09-22&rft.volume=32&rft.issue=5&rft.spage=221&rft.epage=227&rft.pages=221-227&rft.issn=0020-0190&rft.eissn=1872-6119&rft.coden=IFPLAT&rft_id=info:doi/10.1016/0020-0190(89)90047-1&rft_dat=%3Cproquest_cross%3E1137114%3C/proquest_cross%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=237272077&rft_id=info:pmid/&rft_els_id=0020019089900471&rfr_iscdi=true |