Artículo

Hirsch, D.; Montanari, U.; Nielsen M.; Larsen K.G. "Synchronized hyperedge replacement with name mobility: A graphical calculus for mobile systems" (2001) 12th International Conference on Concurrency Theory, CONCUR 2001. 2154:121-136
El editor solo permite decargar el artículo en su versión post-print desde el repositorio. Por favor, si usted posee dicha versión, enviela a
Consulte la política de Acceso Abierto del editor

Abstract:

The design of software systems that include mobility or dynamic reconfiguration of their components is becoming more frequent. Consequently, it is necessary to have the right tools to handle their description specially in the design phase. With this in mind and understanding the relevance of visual languages at the design level, we present in this paper a graphical model using Synchronized Hyperedge Replacement Systems with the addition of name mobility. This method gives a solid foundation for graphical mobile calculi which are well-suited for high level description of distributed and concurrent systems. © Springer-Verlag Berlin Heidelberg 2001.

Registro:

Documento: Artículo
Título:Synchronized hyperedge replacement with name mobility: A graphical calculus for mobile systems
Autor:Hirsch, D.; Montanari, U.; Nielsen M.; Larsen K.G.
Filiación:Departamento de Computación, Universidad de Buenos Aires, Argentina
Dipartimento di Informatica, Universitá di Pisa, Italy
Palabras clave:Biomineralization; Dynamic models; Visual languages; Concurrent systems; Design of softwares; Dynamic re-configuration; GraphicaL model; High level description; Mobile calculi; Mobile systems; Synchronized hyperedge replacement; Calculations
Año:2001
Volumen:2154
Página de inicio:121
Página de fin:136
Título revista:12th International Conference on Concurrency Theory, CONCUR 2001
Título revista abreviado:Lect. Notes Comput. Sci.
ISSN:03029743
Registro:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v2154_n_p121_Hirsch

Referencias:

  • Drewes, F., Kreowski, H.-J., Hable, A., (1997) Hyperedge Replacement Graph Grammars, , Chapter 2, In [8]
  • Ehrig, H., Kreowski, H.-J., Montanari, U., Rozenberg, G., (1999) Handbook of Graph Grammars and Computing by Graph Transformation: Concurrency, Parallelism, and Distribution, 3. , Editors, World Scientific
  • Hirsch, D., Inverardi, P., Montanari, U., Reconfiguration of Software Architecture Styles with Name Mobility (2000) Proceedings of 4Th International Conference, Coordination 2000, LNCS, 1906
  • Hirsch, D., Montanari, U., (2001) Synchronized Hyperedge Replacement with Name Mobility. Technical Report TR-01-001, , http://www.dc.uba.ar/people/proyinv/tr.html, Department of Computer Science, Universidad de Buenos Aires
  • König, B., Montanari, U., (2001) Observational Equivalence for Synchronized Graph Rewriting with Mobility, , Submitted for publication
  • Milner, R., (1999) Communicating and Mobile Systems: The π-Calculus, , Cambridge University Press
  • Montanari, U., Pistore, M., Rossi, F., (1999) Modeling Concurrent, Mobile and Coordinated Systems via Graph Transformations, (2)
  • Rozenberg, G., (1997) Handbook of Graph Grammars and Computing by Graph Transformation: Foundations, 1. , editor, World Scientific
  • Sangiorgi, D., π-calculus, Internal Mobility and Agent-passing Calculi (1996) Theoretical Computer Science, 167 (2)
  • Victor, B., (1998) The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes, , PhD Thesis, Uppsala University, Dept. of Computer Science, JuneA4 -

Citas:

---------- APA ----------
Hirsch, D., Montanari, U., Nielsen M. & Larsen K.G. (2001) . Synchronized hyperedge replacement with name mobility: A graphical calculus for mobile systems. 12th International Conference on Concurrency Theory, CONCUR 2001, 2154, 121-136.
Recuperado de https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v2154_n_p121_Hirsch [ ]
---------- CHICAGO ----------
Hirsch, D., Montanari, U., Nielsen M., Larsen K.G. "Synchronized hyperedge replacement with name mobility: A graphical calculus for mobile systems" . 12th International Conference on Concurrency Theory, CONCUR 2001 2154 (2001) : 121-136.
Recuperado de https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v2154_n_p121_Hirsch [ ]
---------- MLA ----------
Hirsch, D., Montanari, U., Nielsen M., Larsen K.G. "Synchronized hyperedge replacement with name mobility: A graphical calculus for mobile systems" . 12th International Conference on Concurrency Theory, CONCUR 2001, vol. 2154, 2001, pp. 121-136.
Recuperado de https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v2154_n_p121_Hirsch [ ]
---------- VANCOUVER ----------
Hirsch, D., Montanari, U., Nielsen M., Larsen K.G. Synchronized hyperedge replacement with name mobility: A graphical calculus for mobile systems. Lect. Notes Comput. Sci. 2001;2154:121-136.
Available from: https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v2154_n_p121_Hirsch [ ]