A Graphical Calculus for Name Mobility

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 at all stages of the development process. More specifically, it is fundamental to be able to cope with these type of requirements also in the design phase. With this in mind and understanding the relevance of visual languages specially at the design level, we present in this paper a graphical model using Synchronized Hyperedge Replacement Systems with the addition of name mobility. The capability of creation and sharing of ports together with multiple simultaneous synchronizations give us a very powerful tool to specify more complex evolutions, reconfiguring multiples components by identifying specific ports. This method gives a solid foundation for graphical mobile calculus which are well-suited for high level description of distributed and concurrent systems.