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...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Hirsch, D., Montanari, U., Nielsen M., Larsen K.G.
Formato: SER
Materias:
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
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_03029743_v2154_n_p121_Hirsch
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires
id todo:paper_03029743_v2154_n_p121_Hirsch
record_format dspace
spelling todo:paper_03029743_v2154_n_p121_Hirsch2023-10-03T15:18:54Z Synchronized hyperedge replacement with name mobility: A graphical calculus for mobile systems Hirsch, D. Montanari, U. Nielsen M. Larsen K.G. 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 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. SER info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar http://hdl.handle.net/20.500.12110/paper_03029743_v2154_n_p121_Hirsch
institution Universidad de Buenos Aires
institution_str I-28
repository_str R-134
collection Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
topic 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
spellingShingle 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
Hirsch, D.
Montanari, U.
Nielsen M.
Larsen K.G.
Synchronized hyperedge replacement with name mobility: A graphical calculus for mobile systems
topic_facet 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
description 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.
format SER
author Hirsch, D.
Montanari, U.
Nielsen M.
Larsen K.G.
author_facet Hirsch, D.
Montanari, U.
Nielsen M.
Larsen K.G.
author_sort Hirsch, D.
title Synchronized hyperedge replacement with name mobility: A graphical calculus for mobile systems
title_short Synchronized hyperedge replacement with name mobility: A graphical calculus for mobile systems
title_full Synchronized hyperedge replacement with name mobility: A graphical calculus for mobile systems
title_fullStr Synchronized hyperedge replacement with name mobility: A graphical calculus for mobile systems
title_full_unstemmed Synchronized hyperedge replacement with name mobility: A graphical calculus for mobile systems
title_sort synchronized hyperedge replacement with name mobility: a graphical calculus for mobile systems
url http://hdl.handle.net/20.500.12110/paper_03029743_v2154_n_p121_Hirsch
work_keys_str_mv AT hirschd synchronizedhyperedgereplacementwithnamemobilityagraphicalcalculusformobilesystems
AT montanariu synchronizedhyperedgereplacementwithnamemobilityagraphicalcalculusformobilesystems
AT nielsenm synchronizedhyperedgereplacementwithnamemobilityagraphicalcalculusformobilesystems
AT larsenkg synchronizedhyperedgereplacementwithnamemobilityagraphicalcalculusformobilesystems
_version_ 1807323887170486272

Ejemplares similares