Synchronized hyperedge replacement with name mobility: A graphical calculus for mobile systems
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...
Guardado en:
| Autor principal: | |
|---|---|
| Otros Autores: | , , |
| Formato: | Acta de conferencia Capítulo de libro |
| Lenguaje: | Inglés |
| Publicado: |
Springer Verlag
2001
|
| Acceso en línea: | Registro en Scopus Handle Registro en la Biblioteca Digital |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
| LEADER | 04508caa a22005897a 4500 | ||
|---|---|---|---|
| 001 | PAPER-20695 | ||
| 003 | AR-BaUEN | ||
| 005 | 20230518205207.0 | ||
| 008 | 190411s2001 xx ||||fo|||| 00| 0 eng|d | ||
| 024 | 7 | |2 scopus |a 2-s2.0-84944036119 | |
| 040 | |a Scopus |b spa |c AR-BaUEN |d AR-BaUEN | ||
| 100 | 1 | |a Hirsch, D. | |
| 245 | 1 | 0 | |a Synchronized hyperedge replacement with name mobility: A graphical calculus for mobile systems |
| 260 | |b Springer Verlag |c 2001 | ||
| 506 | |2 openaire |e Política editorial | ||
| 504 | |a Drewes, F., Kreowski, H.-J., Hable, A., (1997) Hyperedge Replacement Graph Grammars, , Chapter 2, In [8] | ||
| 504 | |a 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 | ||
| 504 | |a Hirsch, D., Inverardi, P., Montanari, U., Reconfiguration of Software Architecture Styles with Name Mobility (2000) Proceedings of 4Th International Conference, Coordination 2000, LNCS, 1906 | ||
| 504 | |a 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 | ||
| 504 | |a König, B., Montanari, U., (2001) Observational Equivalence for Synchronized Graph Rewriting with Mobility, , Submitted for publication | ||
| 504 | |a Milner, R., (1999) Communicating and Mobile Systems: The π-Calculus, , Cambridge University Press | ||
| 504 | |a Montanari, U., Pistore, M., Rossi, F., (1999) Modeling Concurrent, Mobile and Coordinated Systems via Graph Transformations, (2) | ||
| 504 | |a Rozenberg, G., (1997) Handbook of Graph Grammars and Computing by Graph Transformation: Foundations, 1. , editor, World Scientific | ||
| 504 | |a Sangiorgi, D., π-calculus, Internal Mobility and Agent-passing Calculi (1996) Theoretical Computer Science, 167 (2) | ||
| 504 | |a Victor, B., (1998) The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes, , PhD Thesis, Uppsala University, Dept. of Computer Science, JuneA4 - | ||
| 520 | 3 | |a 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. |l eng | |
| 593 | |a Departamento de Computación, Universidad de Buenos Aires, Argentina | ||
| 593 | |a Dipartimento di Informatica, Universitá di Pisa, Italy | ||
| 690 | 1 | 0 | |a BIOMINERALIZATION |
| 690 | 1 | 0 | |a DYNAMIC MODELS |
| 690 | 1 | 0 | |a VISUAL LANGUAGES |
| 690 | 1 | 0 | |a CONCURRENT SYSTEMS |
| 690 | 1 | 0 | |a DESIGN OF SOFTWARES |
| 690 | 1 | 0 | |a DYNAMIC RE-CONFIGURATION |
| 690 | 1 | 0 | |a GRAPHICAL MODEL |
| 690 | 1 | 0 | |a HIGH LEVEL DESCRIPTION |
| 690 | 1 | 0 | |a MOBILE CALCULI |
| 690 | 1 | 0 | |a MOBILE SYSTEMS |
| 690 | 1 | 0 | |a SYNCHRONIZED HYPEREDGE REPLACEMENT |
| 690 | 1 | 0 | |a CALCULATIONS |
| 700 | 1 | |a Montanari, U. | |
| 700 | 1 | |a Nielsen M. | |
| 700 | 1 | |a Larsen K.G. | |
| 711 | 2 | |d 20 August 2001 through 25 August 2001 |g Código de la conferencia: 127589 | |
| 773 | 0 | |d Springer Verlag, 2001 |g v. 2154 |h pp. 121-136 |p Lect. Notes Comput. Sci. |n Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |x 03029743 |w (AR-BaUEN)CENRE-983 |z 3540424970 |t 12th International Conference on Concurrency Theory, CONCUR 2001 | |
| 856 | 4 | 1 | |u https://www.scopus.com/inward/record.uri?eid=2-s2.0-84944036119&partnerID=40&md5=6ec849841a653844a9a9fc0b95d07839 |y Registro en Scopus |
| 856 | 4 | 0 | |u https://hdl.handle.net/20.500.12110/paper_03029743_v2154_n_p121_Hirsch |y Handle |
| 856 | 4 | 0 | |u https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v2154_n_p121_Hirsch |y Registro en la Biblioteca Digital |
| 961 | |a paper_03029743_v2154_n_p121_Hirsch |b paper |c PE | ||
| 962 | |a info:eu-repo/semantics/article |a info:ar-repo/semantics/artículo |b info:eu-repo/semantics/publishedVersion | ||
| 963 | |a VARI | ||
| 999 | |c 81648 | ||