Ian Jacobs, Francis Montagnac, Janet Bertot, Dominique Clement, Vincent Prunet, The Sophtalk Reference Manual, INRIA Rapport Technique no 150, Feb. 1993.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....[8] INRIA Distributed programming environments: an example of a message protocol 19 A Centaur implementation and use The centaur system is a generator of distributed programming environments. centaur communicates with external tools using the sophtalk software. The reference manual of Sophtalk [4] describes this software more precisely. In a centaur environment, semantic tools communicate with the tree server following the message protocol. In this appendix, we develop an implementation in centaur: the message type implementation, the abstract syntax tree protocol format, the way to ....

....are found; the value is ( when the message provokes a function call. a name : corresponding to the function to call or to the signal to emit. an argument list : the list of filters (i.e. argument types) This declaration defines #:stnode:MM:net: protocol name to be the stnode type (see [4]) of the network interpreting protocol name . Built in filters are #:Filter:String, #:Filter:Number, and #:Filter:Symbol objects. Here are some declaration for built in filters. RT n165 20 Anne Marie Dery , Laurence Rideau ( filters (base (#:Filter:String) base1 (#:Filter:Number separator ....

Ian Jacobs, Francis Montagnac, Janet Bertot, Dominique Clement, Vincent Prunet, The Sophtalk Reference Manual, INRIA Rapport Technique no 150, Feb. 1993.

....[2] Inputs are messages received by the component, they correspond to the services provided by the component. Outputs are messages sent by the component, they correspond to the requested services. Intercomponent communication is described as a network of communication between components. Sophtalk [3] is a system that allows this kind of intertool communication. The problem we address is the communication between a symbolic computation system and a distributed programming environment organized as a network of communicating components. The only assumptions we formulate concerning the symbolic ....

.... make metavar(Y,pascal) make leaf(pascal int,1) make node(pascal plus,2) make node(pascal assign,2) end of tree(assignment) Discussion This protocol is independent of the communication platform; it has been validated on the sun rpc [9] osi ros [10] and Sophtalk [3] platforms. It has been implemented and used in the centaur system [5] Those platforms, using tcp sockets, guarantee the determinism in the message order. The sole constraint for the user, is to send the messages in the right order (i.e. in the case of a tree traversal, bottom up, or top down) ....

Ian Jacobs and Janet Bertot, Sophtalk tutorials, INRIA Rapport Technique no 149, Feb. 1993.

....objects, as well as a multi formalism framework providing communication facilities and an homogenous user interface to various independent tools. The cooperation of tools implies communication and the sharing and exchange of data between these tools. In the following section, we present Sophtalk [10, 11], an implementation of such a communication platform. 3.2 Sophtalk Recent progress in software engineering techniques has consolidated the idea that any tool that performs a task (editor, button, typechecker, etc. should be able to operate in isolation, without having to worry about sources of ....

I. Jacobs, F. Montagnac, J. Bertot, D. Cl'ement, and V. Prunet, The Sophtalk Reference Manual. INRIA Rapport Technique no 150, Feb. 1993.

....objects, as well as a multi formalism framework providing communication facilities and an homogenous user interface to various independent tools. The cooperation of tools implies communication and the sharing and exchange of data between these tools. In the following section, we present Sophtalk [10, 11], an implementation of such a communication platform. 3.2 Sophtalk Recent progress in software engineering techniques has consolidated the idea that any tool that performs a task (editor, button, typechecker, etc. should be able to operate in isolation, without having to worry about sources of ....

I. Jacobs and J. Bertot, Sophtalk tutorials. INRIA Rapport Technique no 149, Feb. 1993.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC