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
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 [ ]
