An abstract semantic framework for mobile component systems based on graph transformation (Extended abstract)
Nicolás Mylonakis Pascual, Fernando Orejas Valdés · 2005
The aim of this work is the definition of a generic framework for the modelling and development of component-based distributed applications with mobile processes in the internet. We describe component systems as typed attributed graphs, where nodes may represent localities, but also connections between components or bindings of components to localities. In this context, mobility is described in terms of graph transformation extending transformation rules to include (graph) variables.