Visual concurrent object–based programming in GARP
Si trova su / Altri legami
We describe a hybrid graphical/textual model for concurrent object–based programming. In this model, graph grammars are used to specify the set of topologies (processes and their interconnections) that a concurrent system can evolve, while the behavior of individual processes is specified textually . This allows a clean separation of naming and topology control issues from those of describing individual components of the system. In our model a concurrent system is a collection of processes, connected into a topology constrained by the language of the graph grammar for the system, which communicate by message passing and mutate the topology of the system by requesting application of the productions in the grammar to the topology
# | Istituto/Sede | Collocazione | Inventario patrimoniale |
---|---|---|---|
Area della ricerca di Genova, Servizio di Documentazione Scientifica | Sede di Genova |