PROCOL swMATH ID: 2535 Software Authors: van den Bos, Jan; Laffa, Chris Description: PROCOL. A concurrent object-oriented language with protocols delegation and constraints PROCOL is an object-oriented language with distributed delegation. It strongly supports concurrency: many objects may be active simultaneously, they execute in parallel unless engaged in communication. An object has exported operations, called Actions. Only one Action can be active at a time, however special interrupt Actions may interrupt regular Actions. Communication is performed via remote procedure call, or via a one-way synchronous message with short-time binding. In communications both client and server can 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 1 message is transferred. PROCOL controls object access by an explicit per-object protocol. This protocol is a specification of the legality and serialization of the interaction between the object and its clients. It also provides for client type checking. The use of protocols in object communication fosters structured, safer and potentially verifiable information exchange between objects. The protocol also plays an important role as a partial interface specification. In addition it acts as a composition rule over client objects, representing relations with the client objects. PROCOL’s communication binding is dynamic (run-time); it functions therefore naturally in a distributed, incremental and dynamic object environment. PROCOL also supports constraints, without compromising information hiding. An implementation is available in the form of aC extension. Homepage: http://rd.springer.com/article/10.1007/BF01463943 Keywords: parallel programming; distributed programming; message sending; concurrent programming; multiprocessing; synchronization; object-oriented language; concurrency; protocols Related Software: AspectJ; PICCOLA; JAsCo; Rapide; Simula 67; Eiffel; POOL; Python; CHARM++; HAL_; Oz; Ada95; MANIFOLD; KITARA; Path Pascal; Sisal; NUAPC Cited in: 7 Documents Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year PROCOL. A concurrent object-oriented language with protocols delegation and constraints. Zbl 0724.68015van den Bos, Jan; Laffa, Chris 1991 all top 5 Cited by 12 Authors 2 Laffa, Chris 2 van den Bos, Jan 1 de Bruin, Arie 1 Farías, Andrés 1 Kafura, Dennis G. 1 Mukherji, Manibrata 1 Philippsen, Michael 1 Südholt, Mario 1 Sun, Zhongxiu 1 van der Goot, Roel 1 Xie, Li 1 Zhu, Genjiang Cited in 4 Serials 1 Acta Informatica 1 Theoretical Computer Science 1 Journal of Computer Science and Technology 1 Concurrency: Practice and Experience Cited in 1 Field 7 Computer science (68-XX) Citations by Year