PROCOL公司 swMATH ID: 2535 软件作者： van den Bos，Jan；克里斯·拉法 描述： PROCOL公司。一种具有协议委托和约束的并发面向对象语言PROCOL是一种具有分布式委托的面向对象语言。它强烈支持并发：许多对象可能同时处于活动状态，除非参与通信，否则它们将并行执行。对象已导出操作，称为Actions。一次只能激活一个Action，但特殊中断Action可能会中断常规Action。通信是通过远程过程调用或具有短时间绑定的单向同步消息执行的。在通信中，可以通过对象实例标识符或类型指定客户端和服务器。因此，尽管只传输了1条消息，但客户端-服务器映射可能是1-1、n-1或1-n。PROCOL通过显式对象协议控制对象访问。该协议是对象及其客户端之间交互的合法性和序列化的规范。它还提供了客户端类型检查。在对象通信中使用协议促进了对象之间结构化、更安全和潜在可验证的信息交换。该协议作为部分接口规范也发挥着重要作用。此外，它还充当客户端对象的组合规则，表示与客户端对象的关系。PROCOL的通信绑定是动态的（运行时）；因此，它在分布式、增量和动态对象环境中自然运行。PROCOL还支持约束，而不会影响信息隐藏。实现以aC扩展的形式提供。 主页： http://rd.springer.com/article/10.1007/BF01463943 关键词： 并行程序设计;分布式编程;消息发送;并行程序设计;多处理;同步;面向对象语言;并发;协议 相关软件： 皮科拉;方面J;JAsCo公司;Rapide公司;模拟67;艾菲尔;游泳池;蟒蛇;CHARM（魅力）++;哈尔_;欧兹;阿达95;歧管;基塔拉;路径帕斯卡;剑麻;NUAPC公司 引用于： 7文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 PROCOL公司。一种具有协议委托和约束的并发面向对象语言。 Zbl 0724.68015号范登博斯，简;克里斯·拉法 1991 全部的 前5名12位作者引用 2 克里斯·拉法 2 范登博斯，简 1 阿里·德布鲁因 1 安德烈斯·法里亚斯 1 Dennis G.卡弗拉。 1 马尼布拉塔·穆克尔吉 1 迈克尔·菲利普森 1 马里奥·苏霍尔特 1 孙中秀 1 罗尔·范德古特 1 谢、李 1 朱根江 4篇连载文章中引用 1 信息学报 1 理论计算机科学 1 计算机科学与技术杂志 1 并行：实践与经验 在1个字段中引用 7 计算机科学（68至XX） 按年份列出的引文